@bodems Right before the entrance to DIJKSTRA, four guys at one table, one with a blue shirt (me).