FAA2.A Verification and Cooperation