Added non-interference