See [alg.none.of].