no need for ``@dev`` as it is already the global minimum stability