In the 3rd message, the planetoid wyw is said equal to a small object, and the planetoid zyz is said equal to a medium or a large one. The 1y1 has the 3 sizes. This is totally consistent with the fact that wyw is a subset of 1y1 and zyz is a subset of 1y1 (message 5) But why don't the TCs use the symbol "or" in the 3rd message, to give the list of zyz and 1y1? It could have been: GzyzPoBBBAAABojoBBBBBBBoPzyzG Is it because the list is not exhaustive? In that case, they could have used the symbol for subset. And for the 1 sign, if it really means "big", why is it used for each size of planets in 1y1? I'm really puzzled!