типа из а следует b. Или если есть а то есть b? Интресеная штука - эта ваша логика