User blog comment:Boboris02/MBOT/@comment-1605058-20161220212557/@comment-30118230-20161221170654

It depends on what there is after it.If it's at the beginning of the system and has \(\Leftrightarrow\),it applies the described system to n and uses it to find the output for it.If there isn't then it depends on the case.