Existence and uniqueness of the universal W algebra