#27 - Account for logical/semantic notion of goal achievement.  Tested
successfully with Verifier.
#27 - Complete the previous commit.