9/23 formal language class note