Procura eve and 1=1