Add Note [Capturing hole constraints]