Title: the elements of logic