The Covering Property Axiom, CPA: A Combinatorial Core of the It