Armstrong Proofs