Basically we need to write a set of UDFs that will realize the following bit operation truth tables.

So the moment of truth will come only after the talks reach their inevitable impasse and Mr Obama tables a bridging proposal.