Mathematical Reasoning With Diagrams by Mateja Jamnik