So that's what the left hand simplifies to when we-- and remember, the original equation didn't have these squares here, so if you just look at the green part, the green part on the left-hand side just simplified to 4 roots of 2.