class BadFact