moved unifications up in deltao