Language and logic by vander Auwera