you wouldn't happen to know the density of HPDE?