Layton proofs