" 

 ::Tiedätkö Arthur, se on hyvä kysymys. Kun ajattelen "ilmaisua"... ajattelen sen koostuvan yhdestä tai useammasta symbolista. Loogiset symbolit ajattelen yksittäisinä symboleina. Kuitenkin jokainen yksittäinen symboli voidaan ajatella lausekkeeksi. Olen siis ennakkoluuloton sen suhteen, miten se järjestetään. Meidän pitäisi kuitenkin valita yksi tapa ja pitäytyä siinä. Se on mielenkiintoinen tilanne. Yleensä haluamme, että alaluokka on täysin oman luokkansa tapauksia. Tässä tapauksessa se toimii molempiin suuntiin.  "