They were arguing over the question of Is Pluto a planet or an exoplanetary hunk of rock?
I thought I heard something in reference to baseball’s new “pitch clock”.