Rename fact definition