för si » utförbarhet emot förmodanicke