Efter vftvanberörde har sammanförda deduktion och kontradeduktionhoppas