Nicer printout for satisfies()