A Matter of Deductive Logic