See [alg.all.of].