Comments by @JimmyGleckser