teach spesh_diff about Facts, put most common pattern first.