Matthew wrote:

>**Puzzle 204**/**Puzzle 212**. I think we can define \\(\Phi\\) to be the *companion* of \\(F\\) where \\(\texttt{false} \mapsto 0\\) and \\(\texttt{true} \mapsto 500\\).

Really? Huh, maybe so! It seemed so obvious to me that this feasibility relation was the *conjoint* of a function. Are both of us right? Neither? Just one of us?