The equality operator and the covariant keyword