I believe I've added one reference to SMoL. There are other places where it belongs, e.g., why equality of arrays is tricky.