3 ms·

I wish we had this for purity, too. But I guess it gets hard to define when handing in structured arguments...?