These could be `@assert`ions