add auxiliary operations subsection