Change thread goal existence error term for clarity