[math-fun] Egan's Orthogonal trilogy