Adds question about commutativity of certain diagram

Do the functors h_S : smpr_S -> {motives over S}
commute with push-forwards along S -> S'
   smpr_S -> smpr_S'
and
   {motives over S} -> {motives over S'}