If y4 is to be zero, then y12 becomes irrel and we can put the eqt.
for y12 to require it to vanish. This seems simple ...