Janet's Proofs