a working binary grammar of number