Telefona gönder: Introduction to bisimulation and coinduction