[math-fun] Mathematics of SETI protocols ?