Det är alltså antagligt,