Title: Mathematical language and proof