[ Esine ] on yhtä kuin: [ Esine ]

☞ x ≔ Esine uusi.
☞ y ≔ Esine uusi.
☞ z ≔ x.
✎ kirjoittaa: ( x on yhtä kuin: y ), lopettaa.
✎ kirjoittaa: ( x on yhtä kuin: z ), lopettaa.
✎ kirjoittaa: ( x = y ), lopettaa.
✎ kirjoittaa: ( x = z ), lopettaa.
✎ kirjoittaa: ( x ≠ y ), lopettaa.
✎ kirjoittaa: ( x ≠ z ), lopettaa.
Väärä
Totta
Väärä
Totta
Totta
Väärä