Tag:

and x = 12 when y = 3