Constructing the Rule

See all comments

Oh, detour again?