romeostevensit comments on Egan’s Theorem?