Remove global existence check