Cassidy proofs