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

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