A small auxiliary project for the project BanishedTranslationTH