[math-fun] Model of the Fano plane on the sphere?