frederic/dupoux | Proofs