Propositions, semantic values, and rigidity · Study