Iterated the Goedel Machine section.