Title: Writing with Logic in Mind