pop and ^ operators, and help text