So, you should also take in a `Scope` as an argument here and then we can do all these checks in `verify`