Some basic logic