Der Hans menù, Leibnitz