[sudosysgen]

If you want to be incredibly pedantic, something can be tautological without being part of the definition, and something can be part of the definition without being tautological (by way of contradiction).