proofs logic analysis
Tout plus