Completed implementation of pa1.