Chapter 15. UniLog: universal logic