Text this: Gödel's Proof /