This part is only working for Logics, Language-autocompletion still not working