Ran 2.67 miles at a 9:28 pace; did the first mile in 7:35. This was 8 sets of intervals.
I think my computation from last week of extremely high speeds (like 7:30 miles for the same distance) must have been wrong somehow… annoyingly.
At least I can pretty consistently run a mile in about 7:30 — I don’t seem to have problems with that anymore. But I need to keep pushing that time down.