Wonder what Gary Gensler’s up to, hope he’s having a good day