R2 done.
	modified:   RestrictionDelay.agda