Can we make method vouches require that they do the method? - MPGH