Get EntailmentSuiteTest to fail and fix it