How do you solve y+12=7?