Saul Kripke: "Mari kita sebut sesuatu sebagai perancang yang kaku jika...

"Mari kita sebut sesuatu sebagai perancang yang kaku jika di setiap dunia yang memungkinkan itu menunjuk objek yang sama, perancang yang tidak kaku atau tidak disengaja jika itu tidak terjadi. Tentu saja kita tidak mensyaratkan bahwa objek itu ada di semua dunia yang mungkin .... Ketika kita menganggap suatu properti sebagai hal yang esensial bagi suatu objek, kita biasanya mengartikan bahwa itu benar untuk objek itu dalam keadaan apa pun di mana ia akan ada. Seorang penunjuk kaku dari keberadaan yang diperlukan dapat disebut sangat kaku."

--- Saul Kripke