3 ms·Verification costs shape the jagged frontier2 points by langkilde 7mo agodeleted 7mo ago[deleted]