Diagram chasing