... I meant shouldn't we change the assert to ``is`` to demonstrate that also the stronger guarantee is given?