added last step in rowan's semantics example