Refinada a lógica e o modelo