Գրեք սա: The Covering property Axiom, CPA