Det var alltså antagligt,