Adicionei o TODO da semantica