"likely" is not doing much work for the domain I was thinking of: structures which are suitable for making into collection data structures, in that their carrier sets are infinite because their ops don't lose information about the values (the hyle if not the morphe) given by their arguments.

Of course, absent those restrictions, it's doing way more work than it can possibly handle.

wasn't it our own Carl Sagan who suggested looking into \pi for alien messages (but/and he was perhaps under the influence)

But not the references inside apple boxen

Could be, although I could also imagine the BHA was intending that as a smoke test: if we were to find a putative alien message, we'd want to make sure the same procedure doesn't find other messages in the first N digits of \pi or related constants.

(shouldn't all messages be in \pi sooner or [much, much...] later?)

[does the def'n of "message" include finite length?]

I'd imagine, though, the KST-patched protocol would be to look at how the certain later digits of \pi vary "in realtime" based on where certain earlier digits (of \hbar) tell us to look.. that'd indicate sophisticated control of remote curvature :)

>Sagan's friend physicist Kip Thorne gave Sagan ideas on the nature of wormholes when Sagan was developing the outline of the novel.