[RightWhale]

Theorems link concepts; proofs establish links. Definitions can be anything, and items are things, not concepts, so aren't susceptible to proof, but just definition. Viruses meet the definition of life according to some authorities, and do not according to others: whether viruses are living or not affects nothing.

[AndrewC]

Viruses meet the definition of life according to some authorities, and do not according to others: whether viruses are living or not affects nothing.

And taxes are "contributions" to Democrats. Lowering of rates of increase is a cut to the same people.