You write `spike_times = []` before the loop, then `spike_times.append(t)` inside. What does `.append(t)` do?