Bolzano's criterion operates at the semantic level of conceptual containment between propositions-in...