let variable_choose p = variable_choose (is_pos &&& p)