BN_sub: document that r might be the same as a or b