RT @JBerestycki: @JDHamkins Did you know that Banach-Tarski were originally just one person?