More descriptive comments on throwChallenge and throwDenied