That sounds pretty good to me, though I think it's an open question whether or not what you're talking about is possible. That is, a UCMA theorist would accuse you of begging the question if you assumed at the outset that the above is a possibility.
It's only an open question insofar as what are considered "minds" and "arguments" remain shrouded in mystery.
I'm rather certain that for a non-negligible fraction of all minds, the entire concept of "arguments" is nonsensical. There is, after all, no possible combination of inputs (or "arguments"), that will make the function "SomeMind(): Print 3" output that it is immoral to tube-feed chicken.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.