prove monotonicity of semantics