Back to trying to figure out the right things to omit from the semantics