Text this: Non−interference through determinism