Is there actually an exe(s) that goes into the nitty gritty of transfinite sets?