We are witnesses are we not?

(_-_)
Context was a pullback so the diagram is a fit.