5. CNF Testing Cookbook