A crash course in arrow logic by Y. Venema