The truth of a proposition depends on whether||Saul Kripke