**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\\)