See [alg.any.of].