5 ms·The Intent Envelope: Proofs for Completeness, Not Just Soundness3 points by todsacerdoti 9mo ago