Text this: Hilbert, Russell