søg på et hvilket som helst ord, for eksempel wyd:

non-interference isn't defined.
Can you define it?