A few useful simplifications