la pycyn cusku di'e
{1} =df {0'}
0' = 0' (by reflexivity of identity)
1 = 0' (by definitional replacement).
How does the first line go into Lojban?
Is it: {ca'e li pa du li no y'ybu}? Something
else?
mu'o mi'e xorxes
_________________________________________________________________
Send and receive Hotmail on your mobile device: http://mobile.msn.com