Lause 1: Vaikka Shao Yungin kaksoisjärjestys on perinteisesti Fu Xin, - se ilmestyy ensimmäisen kerran 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?
- Ei, ei.