I was just exploring what felt like a quasi-contradiction in your argument. You seemed to be arguing that the solution of interest would be the first non-empty set, and I had trouble seeing where you'd want both the "non-empty" and the "first" qualifiers.