Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective | Read Paper on Bytez