Leibniz on Necessary and Contingent Predication · Study