är icke utan , att minförmodan