naya: sub-formulas exercise cont.