This does not seem to be printed as desired, it gets repeated inappropriately (and wasn't very useful to begin with), so removing
some tests for the forall wrapper