I am a travelling metamathematician.