Richest 100 Americans would pay $78 Billion under Warren tax

Why is this not called Sander's tax? Or at least Sanders-Warren or Warren-Sanders tax? It was his idea after all.

And they'd still be the 100 richest Americans