An automated quality-control system scans a batch of 5 components to check for defects. A technician implements the following subroutine:

1      SUBROUTINE HasDefect(batch)
2          i ← 0
3          faulty ← false
4          WHILE i < 5
5              IF IsDefective(batch[i]) THEN
6                  faulty ← true
7              ENDIF
8              i ← i + 1
9          ENDWHILE
10         RETURN faulty
11     ENDSUBROUTINE

The technician replaces line 6 with:

RETURN true

She also replaces line 10 with:

RETURN false