Allen proofs