 Once monotonicity is given up, the question arises: why call the relation of defeasible consequence a logical consequence relation at all? What properties do defeasible consequence and classical logical consequence have in common, that would justify treating them as sub-classes of the same category? What justifies calling nonmonotonic consequence logical?