@atomicprograms fwiw this blog does a great job of explaining what i think is going on https://nostalgebraist.tumblr.com/post/785766737747574784/the-void