R3 completed
	modified:   RestrictionDelay.agda