use the reader part of the monad for the inScope set