Үүнийг мессежээр илгээх: Proof, logic, and formalization