The Logical Book - nidottu, Englanti, 2023