Checking in Diagrams