Resolver exceptions

**[Chapter forthcoming]