Text this: Frege's logic