(Not TFA, which was published Jan 31 - OP, who posted it this afternoon shortly after a talk which included the Byzantine Generals problem)