Sound Logical Explanations for Mean Aggregation Graph Neural Networks | Read Paper on Bytez