SMS: An intensional interpretation of variables