Kann einfach nicht beweisen, dass es so ist