WIT and Co - Proofs