axiomatic systems by babies race downhill