It would help loads of people if it was specified that you can nest piecewises by multiplicating two conditions.
If Q=3:Then:If X=4:Then:X+1->X:End:End
Can be replaced by
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.