Work on push_lhs command: t+