diagram equality