Baier's axioms

Dicuntur mali angeli non ortu, sed lapsu, non entitate, sed qualitate.

The evil angels are not called [evil] by origin, but by a fall, not by character of being, but by quality.