Structure of a directly-nested sub-formula

Here is how directly nested sub-formulas are treated in Optiva.



Adding a formula into another formula directly nests the formula.