halfway done Leibniz, finished exposition