time-one -> time-external in provides