ProofsFinal Versions