Beta

Loading Kata: Coinduction Proof Principle