check_premisse works fine (OR correction)