Title: The place of inference in logical theory