lab8 overgenerates but works ENG-MYA