fixed fact logic