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

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