reflexivity holds again