justinpombrio comments on Introduction to Cartesian Frames