Trying to understand justification better

I don’t think all this abstraction discussion is necessary. It’d be better to just get started with the main event. E.g. read and comment on some of the relevant articles. That will either go well or it will run into problems, in which case discussion could be focused on stuff relevant to solving those problems.