The Leibniz Compromise