versao quase pronta, ainda sem CNF