added nfi <fact> option