Use reflexivity.