Willie Lynch proofs - jmielite