A proof may be impossible to fully grok, since about Leibniz - but problems will be solved now without even understanding the problem statement.