Use the right fact as a default