Suggest a translation for Quint