reflexivity does not quite work