Checking and Printing Models