Complexity assertions have to be part of the interface