That has possibilities, though I think I would prefer to pass the junction in to want() and have it return a boolean in the boolean context than have it pass back a junction and then compare that junction against another?

Of course, once we get the select/when construct, it probably makes more sense and will be more efficient to not pass the parameter to want(), and have it return the junction to the select and code the variations as when clauses.