Gödel's Incompleteness Coin (incomplete) - Pump