A novel way to formalize stable graph cores by using matching-graphs. (November 2022)