ADP volume restraint: more thorough derivation of our formulae