3 ms·Well, it certainly allows you to encode invariants in a more precise manner.by melodyogonna 5mo agoWell, it certainly allows you to encode invariants in a more precise manner.