Worked example: non-equivalent systems of equations