The original argument requires that Sally and Sally* and Bill and Bill* are numerically distinct but...