It would help loads of people if it was specified that you can nest piecewises by multiplicating two conditions.

Example :

If Q=3:Then:If X=4:Then:X+1->X:End:End

Can be replaced by

X+1(Q=3)*(X=4)->X

This is not intuitive when people don't know boolean logic or are confused by the line that says 'the statements must be mutually exclusive' in the concept part.

I do believe that the whole part has to be rewritten, honestly.