ryan_b comments on Egan’s Theorem?