adding reflexivity proof