https://esterel.codingforstudent.com/3-ways-to-itos-lemma/