Fix Push Semantics