four proofs: pattern · distributive · rotation · reflection · all forced by consistency · runs locally