Please fill free to make a comment on point-set topology as diagram chasing computations with finite preorders --- soundcloud downloader suggest missing references, ask for a clarification, pretty much anything.