4 ms·Useful, yes. Fundamental to soundness, proof, etc? Not at all.by superuser2 13y agoUseful, yes. Fundamental to soundness, proof, etc? Not at all.