Well, not that hard once you look closely. The first block defines set notation for TC. The symbol ':' would be similar to a comma, although it is more for grouping purposes in this case. The pattern x^y^x represents 'x is a subset of y', or 'x is a member of y' (take your pick) Therefore, the first block is read as X is the set of { 1,2,3 } It is true that 1 is an element of X It is false that 5 is an element of X It is true that {1,3} is a subset of X It is false that {1,2,3,4} is a subset of X It is true that X is a subset of {1,2,3,4} It is true that {1,2} is a subset of X It is true that {2,3} is a subset of X It is true that {1,2,3} is a subset of X It is false that 0 is an element of X. Now, the rest of the message is the fun part :-) Given my assumption of the vocabulary that they gave us, then they tell us that .. TC's are w (something) '1y1' are not w 'xzx' are not w [from these, and my intrepretation of '1y1' as planet and 'xzx' as sun, then I am suspecting that 'w' represents a living organism. w's are m (something) not w's are m [Between these two lines, one can deduce that m == 'universe' or whatever encompasses everything] Then we have... 'wyw' are '1y1' 'zyz' are '1y1' [I was assuming that 'wyw' meant small planetoid, 'zyz' meant medium size planetoid, and '1y1' meant planet. This pretty much holds up here.] '1' is greater than '~' '1' is not less than nor equal to '~' [more constants?] The speed of light is '11' speed [OOOOHHH! Just got something...see later] 0 is '~' number Lets suppose that '1' and '~' are qualifiers! '!' meaning large, and '~' meaning small. Then, of course, 'large' is only greater than 'small', and the speed of light is a large large speed, and 0 is a small number! (If I could bounce on the net, I would!) Then turn this around, and look at '1y1'... could that '1' also be a modified, such that '1y1' means large planet, and then 'z' and 'w' would also be modifiers... then 'w' wouldn't necessarily mean 'life' but just the word 'small' (TC's are small). Ohh...Ok, I think I thats probably it. I am pretty confident on '1' being large, and '~' being small. Any other theories?