rigid designators