▶Agda/ˈæɡdə/ag duhpronounce →