Notes on Iterated Rationality Models of Scalar Implicatures