@Jonathan – re "everything we assign should be bounded below by true" – I don't think this is the case. Surely \\(\mathcal{X}(x, y)\\) should be \\(\tt{true}\\) if \\(x \mid y\\) and \\(\tt{false}\\) otherwise.