[math-fun] Egan's _Dichronauts_