Linguistic rules, and the Fregean thoughts involved, can normally be given by general directions exemplified by and. makes sense as a recursive specification of indirect senses because of the backward road, and the requirements about being revelatory are satisfied.