disentails