more changes to AugRk_BrSat along lines of *Notes