Se considera que los designadores rígidos mantienen la referencia en situaciones contrafácticas.