comments
a possible semantics