A little more specific about the identifier injection property