Substitutivity and the Coherence of Quantifying In · Study