That is also how I did it. But I wondered if there was any argument for making the clause WYB) R( into a separate line. What do you think?
Archive powered by MHonArc 2.6.24.