Cannot number an event with 0.

Prioritization of polymorphic events is not supported.

Some platforms have no real time clock. Therefore date and time are not available in standard Gregorian or Caesarian form.

State machines are optimized for speed rather than space.

Relationship conditionality is not enforced by the model compiler.

Actions may not leave identifying attributes inconsistent beyond the end of any action.

Blind selections (select ... from instances of ...) following a create and in the same scope as the create may not see the newly created instance in the extent.

create object instance of keyletters (create with no return value) is allowed only when the identifier of object keyletters is of type unique_ID.