Title: Mathematics with reason