Expands variables top to bottom, runs checks as they are reached and evaluates conditionals against results already established. Written order is the semantics, not an implementation detail.
