4.1.2.1 Examples showing how to check for exactness
4.1.2.1.1 Example 1
4.1.2.1.2 Example 2