After the 3rd World Logic Day