Simplified more proofs that use co-induction principles.