orthonormal comments on Notes/​blog posts on two recent MIRI papers