refactorings for grabMessage and Assert