Notes on Iterated Rationality Models of Scalar Implicatures. (22nd November 2021)