descexists should become true