@spicyj Correct, `invariant(false)` is better too!