Anderson fall proofs