CNF Testing Cookbook ====================