oavgörbar
undecidable