Pushing 1,2,3 PA and fixing names