Very nice! This is obvious now, but it still feels useful to make an explicit list like this.