let variable_choose p = variable_choose (is_neg &&& p)