Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0 Conference proceeding (May 2024)