"Bi" is a Chinese character in China, which reads like "or". This book is the first of the jackals. The second batch of simplified Chinese characters, formerly "Xue", 1986 officially ceased to be used in the State Council. Mathematical symbols, tables exist.
3. Existential quantifiers correspond to full-name quantifiers.