Title: A digest of deductive logic