tokens: Contudo , contrafractuais são frequentemente pressupostos em experimentos mentais , como , por exemplo , aqueles construídos por Saul Kripke para estabelecer se um designador - um nome próprio ou uma descrição definida - é rígido ou não .