Text this: O problema da dedução do intruso para teorias AC-convergentes localmente estáveis