changed the ordering of some facts to be more natural