Maybe add a short discussion here on why `==` does not give an equality (see the tutorial).