simplify FlipPushout a bit