Cool. We could add a `verify` method to this class which will get called during semantic analysis.