Comment Comment by Ericson2314 Hehe, well, we'll need to have a tool-assited international math Olympiad then. parent Ericson2314 2 years ago