Formal systems and the Brain: a copy from GDocs