Swiss tram example
more work on Leibniz notation