Modificaciones de lógica