johnswentworth comments on Egan’s Theorem?