The Construction and Use of Representations Involving Linear Order · Study