Logic_translation loading ...