Philosophy behind Mochizuki's work on the ABC conjecture | Heykuki News