What are sets? Variables Assertion Some basic sets Functions Predicates More sets Set operations Product sets Syntax Predicates Parsing Truth Product sets