#27 - Allow for the case when no goal is currently executing.  Basic
capabilities work in Verifier on this version, but testing of goals has
not yet begun.