Hot: reflexivity