Mapping/Quantifier/Interpretation as solution/Remark