@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.