Memórias e provas não-repetíveis: introdução