Title: Formal mathematics and children's reasoning