Add facts derived