TCWC Non-interference Principles