lect7 and ibarra-lac notes