3 - non deterministic, lazy