files added after Fri 5/31 lecture