Title: The elements of deductive logic