An elementary logic | NiceBooksReads