Writing and Logic