are they explicitly ordered when we load them from the database?