That's how math is communicated eventually but not necessarily how it's made (which is about exploration and discovery as well).