[math-fun] Interesting ovoids