3 ms·Someone make a TLA+ model for this bad boyby mrtesthah 7mo agoSomeone make a TLA+ model for this bad boy