Arrumando busca de proposicoes