Pi-logic by M.H. van der Veen