#darwin goedel machine