To build this `Space`, I copied the `IndexSpace` class and adapted it; I probably overlooked this part. I'll make sure to go over that part again.