simpler check for uniform existence