A.2.  Semantics

PENDING