Adding external facts