Limits of Non-Interference