Semantics — functions → commands