fact retractions fixes #5