Imported first facts