[math-fun] planets orbiting binary stars