Үүнийг мессежээр илгээх: Introduction to bisimulation and coinduction