Adressing the parameters by contexts in formulae