So, do we keep them here to remind us of them being global? Or should I remove them? n is unused by the way.