3 ms·If statement S1 halts and we combine it with S2 like "S1; S2", then we know that halts. :)by kazinator 1y agoIf statement S1 halts and we combine it with S2 like "S1; S2", then we know that halts. :)