add some initial facts