Hanudev tech park companies. Plural acronyms apostrophe. Tamirhane berber. De morgan's law in sets.