I was about to comment there is some interesting intersection with residuality theory but then you mentioned it ^^
I was about to comment there is some interesting intersection with residuality theory but then you mentioned it ^^