Phases and semantics