3 ms·For other reports/examples, visit https://old.reddit.com/r/tlaplus/ https://old.reddit.com/r/tlaplus/by pron 7y agoFor other reports/examples, visit https://old.reddit.com/r/tlaplus/ https://old.reddit.com/r/tlaplus/