digital_carver comments on Egan’s Theorem?