semantics of operations 1523711