Leibniz and libertarian incompatibilists hold that genuine freedom requires the ability to do otherw...