Its conjoint is the function that sends \\((d,a,b,c)\\) to \\(\mathrm{true}\\) if \\(d\leq a+b+c\\) and to \\(\mathrm{false}\\) otherwise.