Worked example: solutions to 2-variable equations