small dblp cagado, copia trabalho 1, quero ver as prop