søk opp hvilket som helst ord, som ratchet:

non-interference er ikke definert.
Kan du definere det?