A culminating peer-review workshop where students formalize arguments from their own academic drafts and audit them for logical consistency and syntactic validity.