Finished first pass for constrained equality user guide page.