Could you please remove this function if you consider it superfluous?