Telefona gönder: Wann ist eine formale Logik kreativ?