Title: Logic for Student Writing