#FilMat14: “Are #DiagrammaticProofs Legitimate?” | Andi Yu (Oxford University) http://t.co/PauETLmC4h