just use `assert`