If statement S1 halts and we combine it with S2 like "S1; S2", then we know that halts. :)