Title: Mathematics with Reason