96acc5c1

3.11.2. Check

You watch subsection 2.10.2.