and goalb. existence