Title: Modern deductive logic