3 ms·A given pocket can contain many more invariants than implementations.by jonsen 8y agoA given pocket can contain many more invariants than implementations.