Pātuhitia tēnei: Introduction to bisimulation and coinduction