"Gottfried Wilhelm Leibniz, a great German mathematician, came up with this notation in the 17th century when he was still alive." That, and the definition of function made me go through it with different eyes. But very nice to see this approach anyway.