For , valuation , say is true in (or is a model of ) if