p1 should be complete