Interaction versus Automation: The two Faces of Deduction