improved semantics by ordering