Changed fact checking to use retract