fel : först vore premissen obevisad,