Introduction to the Checking Manual