Etter vfivanberörde här sammonstrda deduction och contradeductionhoppas