10/9 formal language class note