Changing wfctx hypotheses to in-a-universe.