Title: Elementary logic