Add p -> push