sem checks for for loops, yaaay