vyhledat jakékoliv slovo, například slope:

non-interference není definováno.
Dokážete ho definovat?