Damn, I feel like if I am the opener act for Metallica or something. Thrilled to be tomorrow in Bergen talking about truth and higher-order logic #logic #Bergen #higher-orderlogic