Felix proofs