Formalize no phase terminology deep in implementation, ordering clarifications