Here's the relevant bits, by the way.