Gödel–Gentzen_negative_translation loading ...