Lause 1: Vaikka Shao Yungin kaksois - tai sanakirjajärjestys on alun perin Fu Xin kirjoittama, se on perinteisesti syntynyt 1100-luvulla. Lause 2: Vaikka Shao Yung on alun perin omistettu Fu Xille, - se ilmestyy binaarisessa eli leksikografisessa järjestyksessä perinteisesti 1100-luvulla. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.