Módulo 3: nivel 2– Deducción informal