И кстати — формализация не обязательно приводит к конвертации.