We don't check preconditions in extents constructors
We don't check preconditions in extents constructors