– while loops boolean logic and managing non-deterministic program flows