1. UTLC example added 2. Booleans 3. Assume