Om det antagande ickelider