(eq (take 100 (iota 1000)) (iota 99))