"Where's Borel?"