I really doesn't matter to be honest, because this was just to inform the theoretical upper bounds as part of my work to make VTE faster.