Logica en model by Nauta