Reflexiva
a = a