Pošalji tekstualnu poruku: Proof Methods for Corecursive Programs