draft of non-interference proof