SDAG docs: Wrap up with coverage of forall and rearrangement of rest. May reincorpora...