Simplified proofs that use co-induction principles.