Induction, Coinduction, and Fixed Points: Intuitions and Tutorial