Prof. Mark Santolucito on grammar filtering in SyGuS.
On. Switch them off if they collide with your assistive tools; ? still opens this sheet.
Press g then the letter.
