Sanity check on y_0