 Given an SQML interpretation \(\calM,\) then, the Tarskian truth conditions above are generalized by relativizing them to worlds as follows: for any possible world \(w\) of \(\calM\) (the world of evaluation),