3 ms·the only obvious choice of language, of course, would be TLA+by hprotagonist 7y agothe only obvious choice of language, of course, would be TLA+