In a Dia-LOG with Ralf Reuel