So we went to Porto de Mos, the nearby town that dominates the Parque Natural das Serras de Aire e Candeeiros, where we shot our Christmas Card:
And inside the castle, there was an exposition of contemporary inlay stonework (Porto de Mos prides itself on its stonework). And what do we find? Haven't we founded and run the Applied Logic Laboratory at the University of Amsterdam in our days?
So, we found this:
It's a bit difficult to read, despite some photoshopping, but it says: "To the triumph of logic over the disruption of the truth." A bit optimistic perhaps, this congratulatory shoulder-pat, but now it's set in stone, and we'll hang it on our new walls as soon as we find a printer nearby.