es64

Se modifichiamo la definizione come mostrato, la proprieta' del diamante si perde. 
Il termine fornito pero' non e' un controesempio per la proprieta' del diamante. 

Un possibile controesempio e' il seguente: (\x.x(Ix))(Ia) infatti (\x.xx)a <= (\x.x(Ix))(Ia) => (Ia)(I(Ia)) 
Ora, con la definizione di "=>" modificata, non e' possibile far confluire sullo stesso termine (\x.xx)a e (Ia)(I(Ia)) 
con un solo passo di riduzione =>. 
Notare come il controesempio sia un adattamento di quello del Paulson alla proprieta' del diamante per la beta-riduzione ad un passo.