Text this: Social Processes and Proofs of Theorems and Programs.