Non-determinism, non-termination and the strong normalization of System T