Bringing Deductive Home