do we really need this? where? and isn't there already somewhere an implementation thereof?