Ex 6.8.4