9.1.8. Leibnitz