R3 proved up to weak bisimilarity
	modified:   Restriction/Delay.agda