A crash course in arrow logic door Y. Venema