[8, 18] Ono to s tím certifikátem HALTS může být ještě horší - pokud by "func" měnila it, znamenalo by to nedefinované chování, což se dá ověřit a vyloučit. Pokud by ale func měnila přímo ten seznam (originalList), například tak, že něco přidá na konec, tak se nemusí dopustit žádného nedefinovaného chování, pokaždé skončí a přesto filter(originalList, func) nikdy neskončí.
