Constructibility of the Universal Wave Function