Later authors showed that choice can be replaced by loops (and yet more Boolean variables).
Các tác giả sau đó cho thấy rằng sự lựa chọn có thể được thay thế bằng các vòng lặp (và nhiều biến Boolean hơn).