Logic part of talk - outline