It seems like we can simplify things a little bit by simply recognizing that "pick the largest utility from our final list" isn't terribly complex, but it seems to be the whole of "should". The interesting bit seems to be the function U(x), and the ability to generate the list of options in the first place - coming up with what we "could" do and evaluating it. Once you have an ordered-by-utility list of "coulds", you probably have your answer :)