3 ms·Better than simply not encoding the actual invariants you care about.by JuniperMesos 6mo agoBetter than simply not encoding the actual invariants you care about.