moved disunifications above condes in deltao