Korine - Proofs