Pattern Axioms