an Entity references as follows:
A `Statement` that acquires a mutual-exclusion lock on behalf of the executing-thread, executes a block, then release the lock. In "Java" it is of the form: synchronized <`Expression`> <`Block Statement`>