nats = [0..]