HW3: Testable P2A.