add some verbose output for failing goals