axiomatic systems por babies race downhill