Diagram construction in intuitionistic logic