Prove determinism and absence of strong progress for combined language