<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JBM</journal-id><journal-title-group><journal-title>Journal of Biosciences and Medicines</journal-title></journal-title-group><issn pub-type="epub">2327-5081</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jbm.2026.146031</article-id><article-id pub-id-type="publisher-id">JBM-152303</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject></subj-group></article-categories><title-group><article-title>
 
 
  On Docking and Binding
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Yi</surname><given-names>Fang</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>School of Mathematics, Jilin University, Changchun, China</addr-line></aff><pub-date pub-type="epub"><day>02</day><month>06</month><year>2026</year></pub-date><volume>14</volume><issue>06</issue><fpage>464</fpage><lpage>484</lpage><history><date date-type="received"><day>24,</day>	<month>May</month>	<year>2026</year></date><date date-type="rev-recd"><day>27,</day>	<month>June</month>	<year>2026</year>	</date><date date-type="accepted"><day>30,</day>	<month>June</month>	<year>2026</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The single molecule conformational Gibbs free energy function (CGF) is rigorously derived via quantum statistics. Apply it as scoring function in docking we obtain analytic docking Gibbs free energy formula. Line by line estimates of the formula establishes the necessary and sufficient conditions to make the docking Gibbs free energy as negative as possible. These conditions form the binding pose searching strategy: the binding sites, pieces on surfaces of receptor and ligand, must be close enough, both geometrically and electronically complementary. Electronically complementary has two cases: either both binding sites are large hydrophobic pieces with smaller hydrophilic pieces or large hydrophilic pieces with smaller hydrophobic pieces. A single molecule theory of molecular folding based on CGF and single molecule thermodynamic hypothesis (SMTH) reveals that non-covalent and covalent binding will induce folding and conformational change, called post-binding reshaping. Applying this theory we resolve all three major unresolved problems in docking posted in 2017, 1. Tackling binding site flexibility; 2. Treating solvent during docking; 3. Affinity prediction in docking. Especially post-binding reshaping resolves the mystery of significant conformational change on covalent binding.
 
</p></abstract><kwd-group><kwd>Docking</kwd><kwd> Binding</kwd><kwd> Conformational Gibbs Free Energy Function</kwd><kwd> Post-Binding Reshaping</kwd><kwd> Binding Affinity</kwd><kwd> Hydrophobic</kwd><kwd> Hydrophilic</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>In 1982, Kuntz et al. published a paper [<xref ref-type="bibr" rid="scirp.152303-ref1">1</xref>] entitled “A geometric approach to macromolecule-ligand interactions.” That is the beginning of docking, or molecular docking, a wide spread “computational method that virtually tries to predict a complex of (usually) two binding partners. Typically, these binding partners are biological macromolecules (e.g., protein, DNA/RNA, peptide) or small molecules (e.g., endogenous ligands, drugs).” [<xref ref-type="bibr" rid="scirp.152303-ref2">2</xref>].</p><p>Since then, docking has become so important that each year hundred thousands papers published on docking. Indeed, <xref ref-type="fig" rid="fig1">Figure 1</xref> of [<xref ref-type="bibr" rid="scirp.152303-ref3">3</xref>] shows that in between the years 2000 to 2020, more than 150,000 papers on “docking” and/or “molecular recognition” topics were published.</p><p>Docking becomes more and more important in structure-based drug design. Today, there are many docking web servers available, such as HADDOCK and HDOCK for protein-protein docking; GOLD, Surflex-Dock, AutoDock, and Glide, etc., for small-molecule which “are regularly utilized in structure-based drug design to predict ligand interactions with the receptor protein.” [<xref ref-type="bibr" rid="scirp.152303-ref2">2</xref>].</p><p>In docking, a macromolecule (protein, DNA/RNA, peptide) is called receptor, another molecule (protein, DNA/RNA, peptide, or small molecule) is called ligand, [<xref ref-type="bibr" rid="scirp.152303-ref4">4</xref>]. In drug design, the ligand is usually a small molecule.</p><p>Binding is to put the receptor and ligand together to form either a new molecule (covalent binding) or just a functioning complex (non-covalent binding). Most docking web servers only deal with non-covalent binding. We will deal mainly with non-covalent binding and only briefly discuss covalent binding. It turns out that except chemistry considerations, covalent binding is actually simpler than non-covalent binding.</p><p>“Docking methods generally have two components: a scoring function and a sampling procedure. The scoring function is given a hypothetical binding pose for the compound and estimates the binding energy of the compound assuming that this pose is correct. The sampling procedure searches the space of potential poses to discover the pose that is assigned the most favorable score by the scoring function. The pose with the most favorable score is the predicted pose, and the score of this pose is the predicted binding energy.” [<xref ref-type="bibr" rid="scirp.152303-ref5">5</xref>].</p><p>For non-covalent binding, the “sampling procedure” for poses is bring the ligand toward to the receptor and searching different orientations of the ligand structure to fit to the receptor structure as a pose. The process of finding poses is called the molecular recognition process.</p><p>We will use single molecule conformational Gibbs free energy function (CGF) as scoring function for docking. Since CGF has analytical formulae (4) and (8), we obtain analytic docking and binding Gibbs free energy formulae analysis of them and reveals the binding pose searching strategy: the binding sites must be close enough, both geometrically and electronically complementary. See Search 3.1 for detail.</p><p>“Molecular docking enhances the efficacy of determining the metabolic interaction between two molecules, i.e., the small molecule (ligand) and the target molecule (protein), to find the best orientation of a ligand to its target molecule with minimal free energy in forming a stable complex.” [<xref ref-type="bibr" rid="scirp.152303-ref6">6</xref>].</p><p>Applying a single molecule molecular folding theory (see [<xref ref-type="bibr" rid="scirp.152303-ref7">7</xref>]-[<xref ref-type="bibr" rid="scirp.152303-ref11">11</xref>]) based on CGF and single molecule thermodynamic hypothesis (SMTH), we resolve all three major unresolved problems in docking posted in 2017 in [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>], 1. Tackling binding site flexibility; 2. Treating solvent during docking; 3. Affinity prediction in docking.</p></sec><sec id="s2"><title>2. Single Molecule Conformational Gibbs Free Energy Function</title><sec id="s2_1"><title>2.1. Conformations of Molecules</title><p>Given a molecule U consists of n atoms ( a 1 , ⋯ , a n ) , a conformation is the listed coordinates of atomic centres R = ( r 1 , ⋯ , r n ) ∈ ℝ 3 n .</p><p>We assume that in a conformation R , all covalent bonds are correctly formed. There are standard bond lengths b i j of U if a i a j is covalently bonded and standard bond angles α i j , i k of U if both a i a j and a i a k are covalently bonded. There are small positive constants δ i j and β i j , i k such that all eligible bond lengths are contained in the closed interval [ b i j − δ i j , b i j + δ i j ] and b i j + δ i j &lt; r i + r j , where r i is the van der Waals radius of a i ; and all eligible bond angles are contained in the close interval [ α i j , i k − β i j , i k , α i j , i k + β i j , i k ] . These should be respected in any conformation of U . Thus, let r i j =   | r i − r j | and γ i j , i k be the corresponding bond lengths and angles measured in R , we require that they satisfy the steric conditions (1) to (3),</p><p>r i j ∈ [ b i j − δ i j , b i j + δ i j ] ,       if   a i a j   is   covalently   bonded , (1)</p><p>r i j − δ i j ≥ r i + r j       if   a i a j   is   not   covalently   bonded , (2)</p><p>γ i j , i k ∈ [ α i j , i k − β i j , i k , α i j , i k + β i j , i k ]       if   a i a j   and   a i a k   are   covalently   bonded . (3)</p></sec><sec id="s2_2"><title>2.2. The Thermodynamic System S R</title><p>Let R = ( r 1 , ⋯ , r n ) be a conformation of U . The occupied space of R ， V R ⊂ ℝ 3 is determined by an electron wave function Φ in quantum mechanics. It is e defined as V R = { x ∈ ℝ 3 ; | Φ ( x ) | 2 ≥ ϵ } , where ϵ &gt; 0 is a small number. But so far multi-electrons Schr&#246;dinger equation is unsolvable, so that the Φ is not known. Therefore, we have to use some approximation to V R . Figures on page 4 of [<xref ref-type="bibr" rid="scirp.152303-ref13">13</xref>], where the boundary ∂ V R = { x ∈ ℝ 3 ; | Φ ( x ) | 2 = ϵ } , ϵ = 0.001 au, 1 au = a<sub>0</sub> = 0.529188&#197;, shows that V R is very similar to a bunch of overlapping balls. An atom a i occupies a space similar to a ball B ( r i , r i ) , centred at the atomic centre r i with its van der Waals radius r i , the bunch of overlapping balls P R = ∪ i = 1 n B ( r i , r i ) is a very close approximation to V R .</p><p>A molecule always exists in some environment, most biomolecules live in cytoplasm that is essentially aquoeous solvent or water environment, denoted as W . The thermodynamics system S R ⊂ ℝ 3 is tailor made for a conformation R , it consists of V R plus one layer of water molecules. At equilibrium, S R has a Gibbs free energy G ( S R ) . The single molecule conformational Gibbs free energy function (CGF) is defined as G ( R ; U , W ) = G ( S R ) .</p></sec><sec id="s2_3"><title>2.3. Formulae of G ( R ; U , W ) and G ( R ; Σ R ; U , W )</title><p>A moiety or atomic group in U has a hydrophobicity level, such as charged, polar, or hydrophobic, all atoms in that moiety have the same hydrophobicity level. Suppose that there are L &gt; 1 hydrophobicity levels, let H i be the set of atoms having hydrophobicity level i , thus, { a i } i = 1 n = ∪ i = 1 L H i .</p><p>A water molecule inside S R has chemical potentials μ i if the nearest atom to the water molecule belongs to H i . We may denote μ 1 &gt; ⋯ μ l &gt; 0 &gt; μ l + 1 &gt; μ L such that μ i &gt; 0 is hydrophobic and μ j &lt; 0 is hydrophilic or polar. Quantum statistics derivation via grand canonic ensemble obtained the formula.</p><p>G ( R ; U , W ) = U ( R ; U ) + μ e 〈 N ^ e 〉 + ∑ i = 1 L   μ i 〈 N ^ i 〉 , (4)</p><p>where μ e is the chemical potential of electron, 〈 N ^ e 〉 and 〈 N ^ i 〉 are means in equilibrium of numbers of electrons and water molecules with chemical potential μ i respectively, not necessary integers.</p><p>The intrinsic ( V R in vaccum) potential U ( R ; U ) comes from quantum mechanics, a good approximation is given as</p><p>U ( R ; U ) = ∑ 1 ≤ α &lt; β ≤ n { q α q β 4 π ϵ r α β + ϵ α β [ ( r α β 0 r α β ) 12 − ( r α β 0 r α β ) 6 ] } , (5)</p><p>where r α β =   | r α − r β | and ϵ α β &gt; 0 and r α β 0 &gt; 0 are constants, q α are approximate net charge of a α at the nuclues of the atom a α , and ∑ α = 1 N   q α = 0 if the molecule is neutral. The second term in (5) is the Lennard-Jones potential that is often used as an approximate model for the isotropic part of a total (repulsion plus attraction) van der Waals force as a function of distance.</p><p>A connected closed surfaces S ⊂ ℝ 3 are surfaces without boundary, i.e., ∂ S = ∅ . All connected closed surfaces are topologically classified into genus, from sphere (genus 0), tyre surface (genus 1), to genus 2, 3, ⋯ , to ∞ . See [<xref ref-type="bibr" rid="scirp.152303-ref14">14</xref>].</p><p>By the Jordan-Brouwer Separation Theorem, see Theorem 3.44 on page 254, and Example 2.46 on page 142 of [<xref ref-type="bibr" rid="scirp.152303-ref15">15</xref>], any connect closed surface S ⊂ ℝ 3 divides R 3 into three parts, ℝ 3 = Ω S ∪ Ω ′ S ∪ S , where Ω S is a bounded domain, Ω ′ S is an unbounded domain, S = ∂ Ω S = ∂ Ω ′ S is the common boundary, Ω &#175; S = Ω R ∪ S and Ω ′ &#175; S = Ω ′ R ∪ S .</p><p>Let Σ R ⊂ S R be an interface between V R and water molecules inside S R . In case that V R has cavities (holes large enough to be able to contain a water molecule), Σ R has more than one connected component, say S i , 1 ≤ i ≤ k , Σ R = ∪ i = 1 k S i . Each S i ⊂ ℝ 3 is a connected closed surface. Let S 1 = Σ R ∘ ⊂ Σ R be the largest connected component, the cavities are O R , i = Ω S i ⊂ Ω R ∘ = Ω S 1 , ∂ O R i = S i , 2 ≤ i ≤ k . Note that even there is no water molecule in some cavity O R i , we still count S i ⊂ Σ R as a connected component. Thus, V R ⊂ Ω &#175; R ⊂ Ω ∘ &#175; R ⊂ S R and Ω R ∘ \ Ω R = ∪ i = 2 k O &#175; R , i . Let n i be the number of water molecules inside the cavity O R , i . Define V R , i = V H i , V R = ∪ i = 1 L V R , i and dist ( x , C ) = inf y ∈ C | y − x | for any set C ⊂ ℝ 3 , then Σ R = ∪ i = 1 L Σ R , i , where Σ R , i = { x ∈ Σ R ; dist ( x , V R , i ≤ dist ( x , V R \ V R , i ) } .</p><p>We have to distinguish cavity and pocket, they both mean hole in a conformation. A cavity is contained in Ω R ∘ , any path in ( Ω ∘ ) ′ R to reach the cavity must cross through Σ R ∘ . A pocket is contained in ( Ω ∘ ) ′ R . Some pocket may have long narrow path in ( Ω ∘ ) ′ R to reach the bottom of the pocket, such that on the first look, one may think it is a cavity. With a little change of conformations from R to R ' , a cavity inside V R may become a pocket outset of V R ' , or vice versa.</p><p>〈 N ^ i 〉 is proportional to the area A ( Σ R , i ) , see, for example, [<xref ref-type="bibr" rid="scirp.152303-ref16">16</xref>]. Therefore, there are ν i &gt; 0 , such that</p><p>ν i A ( Σ R , i ) = 〈 N ^ i 〉 ,   1 ≤ i ≤ L . (6)</p><p>By an quantum mechanics argument that taking the mean via the electron charge density function ρ R ([<xref ref-type="bibr" rid="scirp.152303-ref13">13</xref>], p. 6), we have</p><p>〈 N ^ e 〉 = 〈 ρ R ( r R ) V ( S R ) ^ 〉 = 〈 ρ R ( r R ) ^ 〉 V ( S R ) = ν e V ( S R ) = ν e [ V ( Ω R ∘ ) + V ( S R \ Ω R ∘ ) ] (7)</p><p>Being a mean, the the constant ν e = 〈 ρ R ( r R ) ^ 〉 is universal for all conformations of U or any complexes in the size of proteins.</p><p>Let d w = d + ϵ , where d is the diameter of a water molecule and ϵ &gt; 0 is very small. By the definitions of Σ R ∘ and Ω R ∘ , we have roughly V ( S R \ Ω R ∘ ) = d w A ( Σ R ∘ ) . Substitute (6) and (7) into (4), letting ω e = ν e μ e , ω i = ν i μ i , we obtain, a geometric apporximation to (4),</p><p>G ( R , Σ R ; U , W ) = U ( R ; U ) + ω e V ( Ω R ∘ ) + ω e d w A ( Σ R ∘ ) + ∑ i = 1 L   ω i A ( Σ R , i ) (8)</p><p>Because native structures of globular proteins have smaller volume and surface area than other conformations, see [<xref ref-type="bibr" rid="scirp.152303-ref17">17</xref>] and [<xref ref-type="bibr" rid="scirp.152303-ref18">18</xref>], ω e &gt; 0 . Since also ν e &gt; 0 , μ e &gt; 0 .</p><p>There are many choices for Σ R , Van der Waals surface ∂ P R ; the most common in literature is the solvent accessible surface SAS<sub>R</sub>, it is the loci of the centre of a sphere or water molecule diameter d rolling on ∂ P R ; molecular surface, or solvent excluding surface SES<sub>R</sub>, also produce by a sphere of radius r rolling on ∂ P R but taking the loci of the boundary of the rolling sphere, see [<xref ref-type="bibr" rid="scirp.152303-ref19">19</xref>] and [<xref ref-type="bibr" rid="scirp.152303-ref20">20</xref>]. By [<xref ref-type="bibr" rid="scirp.152303-ref21">21</xref>], SES<sub>R</sub> is the best boundary surface of a molecule. We will take SES<sub>R</sub> as Σ R in the remaining of the paper.</p><p>The derivation of (4) and (8) is progressively done in [<xref ref-type="bibr" rid="scirp.152303-ref7">7</xref>]-[<xref ref-type="bibr" rid="scirp.152303-ref10">10</xref>] via quantum statistics without consideration of cavities and U ( R ; U ) was set to be the Coulomb’s energy of positive charges Z α e at the atomic centre r α , negative charges were omitted.</p></sec></sec><sec id="s3"><title>3. Docking</title><sec id="s3_1"><title>3.1. Poses</title><p>For given receptor and ligand with structures (stable conformations), for example, a macromolecule P with P = ( r 1 , ⋯ , r n ) ∈ ℝ 3 n and a ligand L with L = ( x 1 , ⋯ , x m ) ∈ ℝ 3 m , initially V P and V L are separated by bulk water, i.e., S P ∩ S L = ∅ . The task of docking is to find docking poses, i.e., find an orientation preserving congruence (combinations of parallel translations and rotations) C L : ℝ 3 → ℝ 3 , C L ( L ) = ( C L ( x 1 ) , ⋯ , C L ( x m ) ) , P C L ( L ) = ( r 1 , ⋯ , r n , C L ( x 1 ) , ⋯ , C L ( x m ) ) ∈ ℝ 3 ( n + m ) being the conformation (i.e., statisfying steric conditions (1) to (3)) of the would be complex P L , such that<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/152303x169.png" xlink:type="simple"/></inline-formula>, Ω R ∘ ∩ Ω C L ( L ) ∘ = ∅ . That is, N r ≥ 0 of water molecules in S P ∩ S C L ( L ) are removed from the thermodynamic system S P C L ( L ) = S P ∪ S C L ( L ) .</p><p>There will be a new cavity O n e w in S P C L ( L ) bounded by ∂ O n e w = S ∪ T ∪ S n e w , where S = Ω P C L ( L ) ∘ ∩ SES P ∘ and T = Ω P C L ( L ) ∘ ∩ SES C L ( L ) ∘ are the docking sites, and S n e w = SES P C L ( L ) ∘ \ ( SES P ∘ ∪ SES C L ( L ) ∘ ) . Then</p><p>Ω P C L ( L ) ∘ = Ω P ∘ ∪ Ω C L ( L ) ∘ ∪ O n e w and (9)</p><p>SES P C L ( L ) ∘ = SES P ∘ ∪ SES C L ( L ) ∘ ∪ S n e w , (10)</p><p>Let N n e w ≥ 0 be the number of one layer water molecules inside S P C L ( L ) and touching S n e w N r ≤ N S T = N S + N T , N S the number of water molecules inside S P touching S , N T the number of water molecules inside S C L ( L ) touching T .</p><p>Denote [ P C L ( L ) , S T ] as a pose or docking pose with the docking sites S T . There will be infinitely many such poses.</p></sec><sec id="s3_2"><title>3.2. Scoring Function</title><p>Because of “Ligand binding typically occurs in an aqueous solvent”, [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>], we will use G ( S R ) ( G ( R ; U , W ) or G ( R , SES R ; U , W ) ) as a scoring function. Define the docking Gibbs free energy as</p><p>Δ [ P C L ( L ) , S T ] G ′ = G ( S P C L ( L ) ) − G ( S P ) − G ( S C L ( L ) ) . (11)</p><p>A pose [ P C L ( L ) , S T ] becomes a binding pose if and only if Δ [ P C L ( L ) , S T ] G ′ &lt; 0 .</p></sec><sec id="s3_3"><title>3.3. Estimate of Δ [ P C L ( L ) , S T ] G ′</title><p>Denote G ( P C L ( L ) ; P L , W ) = G ( S P C L ( L ) ) . By the formula in (4) and denote 〈 N e 〉 as N e ( R ) , etc., substituting R by P C L ( L ) , P , and C L ( L ) respectively, we obtain</p><p>Δ [ P C L ( L ) , S T ] G ′ = U ( P C L ( L ) ; P L ) − U ( P ; P ) − U ( C L ( L ) ; L )     + μ e [ N e ( P C L ( L ) ) − N e ( P ) − N e ( L ) ]     + ∑ i = 1 L   μ i [ N i ( P C L ( L ) ) − N i ( P ) − N i ( L ) ]</p><p>The total number of water molecules in S P C L ( L ) , S P , and S L be</p><p>N P C L ( L ) = ∑ i = 1 L   N i ( P C L ( L ) ) ,   N P = ∑ i = 1 L   N i ( P ) ,   N L = ∑ i = 1 L   N i ( L ) ,</p><p>Since in S P C L ( L ) , N r ≥ 0 water molecules be removed and N n e w ≥ 0 water molecules be added,</p><p>N e ( P C L ( L ) ) − N e ( P ) − N e ( L ) = 10 [ N P + N L + N n e w − N r − N P − N L ] = 10 ( N n e w − N r ) ,</p><p>Δ [ P C L ( L ) , S T ] G ′ = U ( P C L ( L ) ; P L ) − U ( P ; P ) − U ( C L ( L ) ; L )   + 10 μ e ( N n e w − N r )   + ∑ μ i &gt; 0   μ i [ N i ( P C L ( L ) ) − N i ( P ) − N i ( C L ( L ) ) ]   + ∑ μ i &lt; 0   μ i [ N i ( P C L ( L ) ) − N i ( P ) − N i ( C L ( L ) ) ] .</p><p>Let N S T be the number of one layer water molecules almost contacting S and T in S P and S C L ( L ) , N r ≤ N S T . Let N r , i and N n e w , i be the numbers of corresponding water molecules with chemical potential μ i . Then N r = ∑ i = 1 L   N r , i and N n e w = ∑ i = 1 L   N n e w i , and</p><p>[ N i ( P C L ( L ) ) − N i ( P ) − N i ( C L ( L ) ) ] = N n e w , i − N r , i ,   i = 1, ⋯ , L .</p><p>Δ [ P C L ( L ) , S T ] G ′ = U ( P C L ( L ) ; P L ) − U ( P ; P ) − U ( C L ( L ) ; L )   + 10 μ e ( N n e w − N r )   + ∑ μ i &gt; 0   μ i [ N n e w , i − N r , i ]   + ∑ μ i &lt; 0   μ i [ N n e w , i − N r , i ] . (12)</p><p>In terms of formula (8), (9), and (10) we have</p><p>Δ [ P C L ( L ) , S T ] G ′ = U ( P C L ( L ) ; P L ) − U ( P ; P ) − U ( C L ( L ) ; L )   + ω e [ V ( O n e w ) + d w A ( S n e w ) ]   + ∑ i = 1 L   ω i [ A ( SES P C L ( L ) , i ) − A ( SES P , i ) − A ( SES L , i ) ]</p><p>Denote S i = SES P C L ( L ) , i ∩ S , T i = SES P C L ( L ) , i ∩ T , S n e w , i = SES P C L ( L ) , i ∩ S n e w , then ∂ O n e w , i = S i ∪ T i ∪ S n e w , i ⊂ SES P C L ( L ) , i , and A ( ∂ O n e w , i ) = A ( S i ) + A ( T i ) + A ( S n e w , i ) ,</p><p>SES P C L ( L ) , i = ( SES P , i \ S ) ∪ ( SES C L ( L ) , i \ T ) ∪ S i ∪ T i ∪ S n e w , i ,</p><p>Since ( SES P , i \ S ) ∩ ( SES C L ( L ) , i \ T ) = ∅ , ( SES P , i \ S ) ∩ ∂ O n e w , i = ∅ , and ( SES C L ( L ) , i \ T ) ∩ ∂ O n e w , i = ∅ ,</p><p>A ( SES P C L ( L ) , i ) = A ( SES P , i \ S ) + A ( SES C L ( L ) , i \ T ) + A ( S i ) + A ( T i ) + A ( S n e w , i ) ,</p><p>and</p><p>A ( SES P , i \ S ) − A ( SES P , i ) = − A ( SES P , i ∩ S ) ,</p><p>A ( SES C L ( L ) , i \ T ) − A ( SES C L ( L ) , i ) = − A ( SES C L ( L ) , i ∩ T ) ,</p><p>we have</p><p>Δ [ P C L ( L ) , S T ] G ′ = U ( P C L ( L ) ; P L ) − U ( P ; P ) − U ( C L ( L ) ; L )         + ω e [ V ( O n e w ) + d w A ( S n e w ) ]         + ∑ ω i &gt; 0   ω i [ A ( S i ) + A ( T i ) + A ( S n e w , i ) − A ( SES P , i ∩ S ) − A ( SES C L ( L ) , i ∩ T ) ]         + ∑ ω i &lt; 0   ω i [ A ( S i ) + A ( T i ) + A ( S n e w , i ) − A ( SES P , i ∩ S ) − A ( SES C L ( L ) , i ∩ T ) ] .       (13)</p><p>Let A S be the set of atoms in P such that these atoms (almost) touching S and A T be the set of atoms in L such that these atoms (almost) touching T . Let V S ⊂ V P ⊂ ℝ 3 and V T ⊂ V C L ( L ) ⊂ ℝ 3 be the subsets corresponding to A S and A T . The intrinsic potential U ( P C L ( L ) ; P L ) is</p><p>U ( P C L ( L ) ; P L ) ) = U ( P ; P ) + U ( C L ( L ) ; L ) + U ( V P , V C L ( L ) ) ,</p><p>where</p><p>U ( V P , V C L ( L ) ) = U ( V S , V T ) + U ( V S , V C L ( L ) \ V T ) + U ( V P \ V S , V T )   + U ( V P \ V S , V C L ( L ) \ V T ) .</p><p>Thus</p><p>U ( P C L ( L ) ; P L ) ) − U ( P ; P ) − U ( C L ( L ) ; L ) = U ( V P \ V S , V C L ( L ) \ V T ) + U ( V S , V C L ( L ) \ V T ) + U ( V P \ V S , V C L ( L ) ) + U ( V S , V T ) .</p><p>where U ( V P \ V S , V C L ( L ) \ V T ) , U ( V S , C L ( L ) \ V T ) , U ( V P \ V S , V T ) , and U ( V S , V T ) , are the potential energies between V S and C L ( L ) \ V T , V S and V T , and V P \ V S and V T respectively.</p><p>By formula (5), U ( R ; U ) is electrostatic,</p><p>U ( V P \ V S , C L ( L ) \ V T ) = ∑ a i ∉ A S , a j ∉ A T { q i q j 4 π ϵ r i j + ϵ i j [ ( r i j 0 r i j ) 12 − ( r i j 0 r i j ) 6 ] } , (14)</p><p>U ( V S , C L ( L ) \ V T ) = ∑ a i ∈ A S , a j ∉ A T { q i q j 4 π ϵ r i j + ϵ i j [ ( r i j 0 r i j ) 12 − ( r i j 0 r i j ) 6 ] } , (15)</p><p>U ( V P \ V S , V T ) = ∑ a i ∉ A S , a j ∈ A T { q i q j 4 π ϵ r i j + ϵ i j [ ( r i j 0 r i j ) 12 − ( r i j 0 r i j ) 6 ] } , (16)</p><p>U ( V S , V T ) = ∑ a i ∈ A S , a j ∈ A T { q i q j 4 π ϵ r i j + ϵ i j [ ( r i j 0 r i j ) 12 − ( r i j 0 r i j ) 6 ] } . (17)</p><p>In (14) to (17), the first part is electrostatic counting for phenomena such as hydrogen bonds and salt bridges, q i q j &gt; 0 is repulsive, q i q j ≤ 0 is attractive or neutral, r i j =   | r i − C L ( x j ) | is the distance between a i in A S and and a j ∈ A T . The second term is the van der Waals force. Since although V S and V T are close enough to remove water molecules between them but still large enough such that the distance r i j &gt; r i j 0 , and r i j in (14) to (16) are even larger. Hence all van der Waals forces in (14) to (17) are negative.</p><p>Since r i j are larger than distances insider a molecule, the electronic part in (14) to (17) is either negative or very small positive. Thus, U ( P C L ( L ) ; P L ) − U ( P ; P ) − U ( C L ( L ) ; L ) is dominated by U ( V S , V T ) and the negative van der Waals forces.</p><p>Especially, if V S and V T are electronic complementary, i.e., positive polar part of V S is nearing the negative part of V T , and non-polar part nearing non-polar part. Then q i q j ≤ 0 in (17), therefore, U ( V S , V T ) &lt; 0 and U ( P C L ( L ) ; P L ) − U ( P ; P ) − U ( C L ( L ) ; L ) ≤ 0 .</p><p>There are two kinds of electronic complementarity, 1. V S and V T are both hydrophobic pieces with hydrophilic islands, i.e., large pieces of hydrophobic surface with some small pieces of hydrophilic surfaces (islands) such that hydrophobic part q i q j = 0 and on hydrophilic island part q i q j &lt; 0 . 2. Similarly, hydrophilic pieces with hydrophobic islands.</p><p>In case of hydrophilic to hydrophilic case, if V S and V T are close enough to form hydrogen bonds between V S and V T (that is, the electronically complementary is strict, we cannot afford to loss even one hydrogen bond opportunity), the reduced energy is more than enough to compensate the increased energy of removing double number of intermolecular hydrogen bonds between V S ( V T ) and water molecules. That is, the sum of the first, second, fourth line in (12) and (13) will be negative.</p><p>Summary 1: In case of f hydrophilic to hydrophilic, we claim that if the sum of the second and third lines of (12) and (13) are negative or zero, Δ [ P C L ( L ) , S T ] G ′ &lt; 0 . In fact, hydrogen bond and salt bridge are essentially electrostatic, therefore following the Coulomb’s law q 1 q 2 4 π ϵ r as in (14) to (17), where ϵ is dielectric constant. An intermolecular hydrogen bond (macromolecule with water) happens at the macromolecule surface where the dielectric constant is roughly ϵ ≅ 40 , while inside a macromolecule (or inside Ω P C L ( L ) ∘ ) the dielectric is about 3, see, for example ([<xref ref-type="bibr" rid="scirp.152303-ref22">22</xref>], p. 72) and [<xref ref-type="bibr" rid="scirp.152303-ref23">23</xref>]. Thus the sum of first and fourth lines in (12) and (13) is negative. If the sum of the second and third lines of (12) and (13) is also negative or zero, Δ [ P C L ( L ) , S T ] G ′ &lt; 0 .</p><p>Summary 2: if the docking sites S and T are close enough and electronically complementary, the first line in (12) and (13) will be negative. In case the electronically complementary is hydrophilic pieces with hydrophobic islands, if the sum of the second and third lines of (12) and (13) are negative or zero, Δ [ P C L ( L ) , S T ] G ′ &lt; 0 .</p><p>The second line in (12) is negative if N r &gt; N n e w , the best case is that N n e w = 0 , i.e., the area A ( S n e w ) is so small such that almost no water molecules contacting to S n e w . The larger N r , the more negative the second line.</p><p>The second line in (13), being the contribution from electron chemical potential ω e &gt; 0 , should be negative like in (12). But since G ( R , SES R ; U , W ) in (8) is only an approximation to G ( R ; U , W ) in (4), the second line in (13) is positive. To make it as small as possible: First, V ( O n e w ) and A ( S n e w ) should be as small as possible, consists with the best case in (12): N n e w = 0 . V ( O n e w ) very small implies that: 1) the number of water molecules in O n e w should be very small, even zero. Then N r = N S T , S i , T i , S n e w , i are all ∅ ; 2) the geometry of S and T should be complementary and close to each other, i.e., if a part of S is convex, the corresponding part in T should be concave, and vice versa.</p><p>Summary 3: to make the sum of the first and second lines in (12) and (13) negative as much as possible, the best scenario is N r = N S T as large as possible, N n e w = 0 . Since S i , T i , S n e w , i are all ∅ , the sum of the second and third lines in (12) and (13) is always negative, the fourth line in (12) and (13) is always positive or zero. Because of Summary 1, Δ [ P C L ( L ) , S T ] G ′ &lt; 0 .</p></sec><sec id="s3_4"><title>3.4. Searching Strategy for Binding Poses</title><p>Thus the sure searching strategy for binding poses is</p><p>Search 3.1 (Binding Pose Searching Strategy) To make Δ [ P C L ( L ) , S T ] G ′ &lt; 0 , make sure that S and T are so close to each other and geometrically complementary such that N r = N S T and N n e w = 0 , be able to form hydrogen bonds or salt bridges between A S and A T . S and T also need be electronically complementary: either S and T are both hydrophobic pieces with hydrophilic islands or both hydrophilic pieces with hydrophobic islands and make sure not even one hydrogen bond or salt bridge opportunity in Ω P C L ( L ) ∘ is lost.</p><p>Remark 3.1. It may happen that a few cavity water molecules in O n e w but still Δ [ P C L ( L ) , S T ] G ′ &lt; 0 . Thus do not rule out new cavity water molecules without weighing pros and cons.</p><p>According to ([<xref ref-type="bibr" rid="scirp.152303-ref24">24</xref>], p. 138), for small molecule or an ion ligands, many proteins’ docking site are dry cavities on its surfaces, but a ligand still has to remove water molecules to approach these macromolecules.</p><p>If the ligand is another macromolecule, then there are three kinds of binding sites: 1) Surface to string, an trough on the receptor’s surface meeting an extended loop of a polypeptide chain of the ligand; 2) two α helices (one each from the macromolecules) paired together to form a coiled coil; 3) the most common type of docking sites are surface to surface. The three kinds of docking sites are typical complimentary in geometry.</p><p>For macromolecule-small molecule docking, S usually is the surface of a pocket (or even a cavity such that a slight change of conformation may change the cavity to pocket), T may be the whole SES C L ( L ) ∘ or a subsurface of it, fitting into the pocket of P .</p><p>The binding pose searching strategy Search 3.1 can be applied to these cases by finding geometrically and electronically complementary S and T .</p></sec></sec><sec id="s4"><title>4. Comparing with Observations and Practical Docking Results</title><p>The binding pose searching strategy Search 3.1 is obtained theoretically by estimating (12) and (13) line by line. For example, geometrically complementary comes from estimating line 2 of (13), ω e ( V ( O n e w ) + d w A ( S n e w ) ) &gt; 0 . To make it as small as possible, the necessary condition is that the area A ( S n e w ) and the volume V ( O n e w ) are as small as possible. S n e w could be a long band, so A ( S n e w ) small means the band is very narrow. Since O n e w occupies the space between the binding sites S ⊂ SES P and T ⊂ SES C L ( L ) , V ( O n e w ) small means: 1) S and T are spacially close to each other; 2) they are geometrically complementary, i.e., at a place S is convex, the correponding place of T has to be concave, and vice versa, they fit together seamlessly.</p><p>These theoretical predictions are confirmed by observations and practical docking results.</p><p>A 1999 paper entitled “Examination of shape complementarity in docking of unbound proteins.” [<xref ref-type="bibr" rid="scirp.152303-ref25">25</xref>], checked many set of complexes and protein pairs that will bind to become complexes, these cases show that “These findings argue that simplicity in the docking process, utilizing geometrical shape criteria may capture many of the essential features in protein-protein docking. In particular, they further reinforce the long held notion of the importance of molecular surface shape complementarity in the binding, and hence in docking.”.</p><p>In docking practices, the strategy of S and T are geometrically and elecronically complementary in case of both are hydrophobic pieces with hydrophilic islands works. In [<xref ref-type="bibr" rid="scirp.152303-ref26">26</xref>], entitled “Hydrophobic docking: a proposed enhancement to molecular recognition techniques”, it was found that “In view of the higher occurrence of hydrophobic groups at contact sites, their contribution results in more intermolecular atom-atom contacts per unit area for correct matches than for false positive fits. The hydrophobic groups are also potentially less flexible at the surface. Thus, from a practical point of view, a partial representation of the molecules based on hydrophobic groups should improve the quality of the results in finding molecular recognition sites, as compared to full representation. We tested this proposal by applying the idea to an existing geometric fit procedure and compared the results obtained with full vs. hydrophobic representations of molecules in known molecular complexes. The hydrophobic docking yielded distinctly higher signal-to-noise ratio so that the correct match is discriminated better from false positive fits.”</p><p>Another example is [<xref ref-type="bibr" rid="scirp.152303-ref27">27</xref>], entitled “A hydrophobic-Ineraction-based mechanism trigger docking between the SARS-CpV-2 Spike and Angiotensin-Converting enzyme 2” shows that when S and T are hydrophobic pieces with hydrophilic islands and both geometrically and electronically complementary, the larger the areas A ( S ) and A ( T ) , the larger the binding affinity, meaning that the docking Gibbs free energy Δ P C L ( L ) , S T ] &lt; 0 is more negative. See &#167;5.3 a single molecule definition of binding affinity that implies the ensemble defined binding affinity.</p><p>Of the hydrophilic pieces with hydrophobic islands type of both geometrically and electronically complementary binding sites in nature, [<xref ref-type="bibr" rid="scirp.152303-ref28">28</xref>] entitled “Hydrogen bonding and molecular surface shape complementary as a basis for protein docking” states that “A geometric docking algorithm based upon correlation analysis for quantification of geometric complementarity between protein molecular surfaces in close interfacial contact has been developed by a detailed optimization of the conformational search of the algorithm. .......The utility of the spatial and directional properties of hydrogen bonding donor and acceptor sites for the identification of candidate docking conformations is demonstrated by the reliable preliminary reduction of conformation space, the improved geometric ranking of the minimum RMS conformations of some complexes and the overall reduction of CPU time obtained.”</p><p>It is described in [<xref ref-type="bibr" rid="scirp.152303-ref29">29</xref>] entitled “The role of DNA shape in protein-DNA recognition” made observations “The recognition of specific DNA sequences by proteins is thought to depend on two types of mechanism: one that involves the formation of hydrogen bonds with specific bases, primarily in the major groove, and one involving sequence-dependent deformations of the DNA helix. By comprehensively analysing the three-dimensional structures of protein-DNA complexes, here we show that the binding of arginine residues to narrow minor grooves is a widely used mode for protein-DNA recognition. This readout mechanism exploits the phenomenon that narrow minor grooves strongly enhance the negative electrostatic potential of the DNA. The nucleosome core particle offers a prominent example of this effect. Minor-groove narrowing is often associated with the presence of A-tracts, AT-rich sequences that exclude the flexible TpA step. These findings indicate that the ability to detect local variations in DNA shape and electrostatic potential is a general mechanism that enables proteins to use information in the minor groove, which otherwise offers few opportunities for the formation of base-specific hydrogen bonds, to achieve DNA-binding specificity.”</p><p>That is, S in DNA surface and T in protein surface are geometrically and electronically complementary, S and T form salt bridges in narrow minor groove. In major groove it “involves the formation of hydrogen bonds”. The “deformation of the DNA helix” is due to post-binding reshaping, see &#167;5.1</p></sec><sec id="s5"><title>5. Resolving so Far Unresolved Problems in Docking and Binding</title><p>In 2017, [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>] posted three major unsolved problems, 1) Tackling Binding Site Flexibility; 2) Treating Solvent During Docking; 3) Affinity Prediction In Docking. Another unresolved problem in docking is covalent docking and binding. We will resolve them one by one in this section.</p><sec id="s5_1"><title>5.1. Tackling Binding Site Flexibility</title><p>“The majority of protein binding sites have some degree of flexibility, either by the motions of specific side chains or possibly by larger motions of protein backbones. Often motions are induced, or selected, by the binding of a given ligand, the well-known principle of induced fit.” [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>].</p><p>Suppose V S contains atoms ( a s ,1 , ⋯ , a s , l ) , l &lt; n , and V C L ( L ) constains atoms ( a t ,1 , ⋯ , a t , s ) , s &lt; m . Define P S = ( r s , i , ⋯ , r s , l ) and C L ( L ) T = ( C L ( x t ,1 ) , ⋯ , C L ( x t , s ) ) . If the flexibility means conformational changing of P and C L ( L ) , especially on P S and C L ( L ) T , post-folding answers this problem.</p><p>CGF together with single molecule thermodynamic hypothesis (SMTH) is the basis of a single molecule theory of protein (or more generally, molecular) folding, ([<xref ref-type="bibr" rid="scirp.152303-ref7">7</xref>]-[<xref ref-type="bibr" rid="scirp.152303-ref11">11</xref>]). SMTH says that all stable conformations (structures) must be the local or global minimizer conformations of G ( R ; U , W ) or G ( R , SES R ; U , W ) . An equivalent statement of SMTH is that if R 0 is not stable, then there will be a molecular folding of U , starting from R 0 , resulting in a stable conformation R 1 . In particular G ( R 1 ; U , W ) &lt; G ( R 0 ; U , W ) , [<xref ref-type="bibr" rid="scirp.152303-ref11">11</xref>].</p><p>Since Δ [ P C L ( L ) , S T ] G ′ &lt; 0 , P L can bind at the pose [ P C L ( L b ) , S T ] . Mathematically the probability of the conformation P C L ( L ) to be stable is almost zero, by SMTH, folding will happen and will result in a stable conformation P 1 L 1 such that G ( P 1 L 1 ; P L , W ) &lt; G ( [ P C L ( L ) ; P L , W ) and G ( P 1 L 1 , SES P 1 L 1 ; P L , W ) &lt; G ( [ P C L ( L ) , SES P C L ( L ) ; P L , W ) . Because P 1 ≠ P and L 1 ≠ C L ( L ) , these difference are called post-binding reshaping (after binding conformational change in [<xref ref-type="bibr" rid="scirp.152303-ref11">11</xref>]).</p><p>In particular, P 1, S ≠ P S and L 1, T ≠ C L ( L ) T correspondingly.</p><p>What need do is to develop software to really calculate the flexibility.</p><p>In fact, the mechanism of allostery is just post-binding reshaping, see [<xref ref-type="bibr" rid="scirp.152303-ref11">11</xref>].</p></sec><sec id="s5_2"><title>5.2. Treating Solvent during Docking</title><p>“An additional degree of complexity in docking is presented by the presence or absence of water molecules in the binding site. The importance of accounting for water when docking has been recognized by many groups. For example, in a recent study, the inclusion of water molecules was shown to be able to recover 56% of observed docking failures. In another study, the authors note that it is important to include only key waters. Not all water molecules are beneficial to docking; some indeed can have an adverse effect on docking performance.” [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>]</p><p>CGF specifically considers one layer of environment element in the thermodynamic system S R , in application we do not need consider bulk water molecules. In particular, CGF avoids the heavy computation of explicit water molecules.</p></sec><sec id="s5_3"><title>5.3. Affinity Prediction in Docking</title><p>“Affinity prediction remains a largely unsolved problem in computational chemistry. The reasons for this are rooted in the theory of statistical physics, which describes the energetics of binding.” [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>].</p><p>Statistical physics has nothing wrong, the problem is the way to apply statistical physics. For example, statistical mechanics is not for directly calculating time to time developing of a thermodynamic system until it reaches equilibrium. The way to use statistical mechanics is to theoretically derive useful formulae for physical quantities of thermodynamic system at equilibrium such as free energy, etc..</p><p>Using CGF as scoring function, we will derive the single molecule binding affinities for non-covalent binding as follows.</p><p>By SMTH in &#167;5.1, from the binding pose [ P C L ( L ) , S T ] , folding will produce post binding reshaping P 1 L 1 , such that the binding Gibbs free energy is</p><p>Δ [ P C L ( L ) , S T ] G = G ( P 1 L 1 ; P L , W ) − G ( P ; P , W ) − G ( C L ( L ) ; L , W ) ≤ Δ [ P C L ( L ) , S T ] G ′ &lt; 0.</p><p>Then the binding affinity K [ P C L ( L ) , S T ] of binding at the binding pose [ P C L ( L ) , S T ] is defined as</p><p>K [ P C L ( L ) , S T ] = exp ( − Δ [ P C L ( L ) , S T ] G k B T ) , (18)</p><p>where k B = 1.380649 &#215; 10 − 23 JK − 1 is the Boltzmann constant and T is temperature. Since folding is spontaneous, the non-covalent binding not only does not need energy input, it contributes energy − Δ [ P C L ( L ) , S T ] G to the environment.</p><p>Note that it is always K [ P C L ( L ) , S T ] &gt; 1 as long as Δ [ P C L ( L ) , S T ] G ′ &lt; 0 .</p><p>If Δ [ P b C L ( L ) , S T ] G ′ &gt; 0 , we may say its binding affinity is less than 1, equivalent to say that stable complex cannot be formed from the pose [ P C L ( L ) , S T ] .</p><p>Also note that if Δ [ P b C L ( L b ) , S b T b ] G ′ &lt; Δ [ P C L ( L ) , S T ] G ′ &lt; 0 , it is not necessary that K [ P b C L ( L b ) , S b T b ] &gt; K [ P C L ( L ) , S T ] because post-binding reshapings are involved.</p><p>Larger binding affinity means stronger binding. In reality, it is not the bigger binding affinity the better, because macromolecules functions need flexibility of working complexes, just enough binding affinity will work and is easier to break the complex down when needed.</p><p>In ensemble experiments, binding affinity is defined by equilibrium constant K via concentrations of protein (P) and ligand (X),</p><p>K = [ P X ] [ P ] [ X ] ,</p><p>then the binding free energy Δ G binding is defined in ([<xref ref-type="bibr" rid="scirp.152303-ref30">30</xref>], p. 95 and 105) as,</p><p>Δ G binding = − R T ln K   per   mol ,</p><p>where R = 8.3145 mol − 1 K − 1 is the universal gas constant. It is roughly the single molecule Δ G times the Avogadro constant A = 6.02214076 &#215; 10 23 . Therefore, the ensemble binding affinity can be expressed as ([<xref ref-type="bibr" rid="scirp.152303-ref24">24</xref>], p. 62), it is also called equilibrium constant K ,</p><p>K = exp ( − Δ G ∘ R T ) .</p><p>K is usually obtained by experiments. If we replace Δ G ∘ by A Δ [ P C L ( L ) , S T ] G as the Gibbs free energy difference per mol, then by R = k B A , single molecule affinity K [ P C L ( L ) , S T ] is exactly the ensemble affinity K .</p><p>The difference is, ensemble binding affinity can only be obtained from experiments, single molecule binding affinity can be calculated via CGF formulae (4) and (8).</p></sec><sec id="s5_4"><title>5.4. Covalent Docking and Binding</title><p>Another problem is covalent binding. “We note that there are yet more areas where docking could have impact but where the solutions offered as yet are somewhat limited. Some software features the ability to perform covalent docking, for example, but the methods used could be significantly enhanced. Further, we are currently unaware of solutions that try to tackle significant conformational change on covalent binding to the protein in a structure agnostic way.” [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>].</p><p>Let P and L be the receptor and ligand with stable conformations P = ( r 1 , ⋯ , r n ) and L = ( x 1 , ⋯ , x m ) respectively. In case of covalent binding, in both P and L some covalent bonds will be broken and a new covalent bond will be formed between P and L , therefore, the number of atoms of the new molecule will be not be n + m , say it is M = s + t , 0 ≤ s ≤ n , 0 ≤ t ≤ m , i.e., some atoms are removed due to bonds breaking. Relabelling if necessary, suppose that a s + 1 , ⋯ , a n were removed in P and a 1 , ⋯ , a m − t were removed in L , denote P ′ = ( r 1 , ⋯ , r s ) and L ′ = ( x m − t + 1 , ⋯ , x m ) . Relabelling if necessary, the new covalent bond is between a s in P and a m − t + 1 ∈ L .</p><p>Bring L ′ to P ′ such that the distance between a s in P and a m − t + 1 in L ′ is the standard bond length r , i.e., find an orientation preserving congruence C L such that P ′ C L ( L ′ ) = ( r 1 , ⋯ , r s , C L ( x m − t + 1 ) , ⋯ , C L ( x m ) ) ∈ ℝ 3 M is a conformation, i.e., satisfying steric conditions (1) to (3), and r =   | r s − C L ( x m − t + 1 ) | . Call such C L eligible.</p><p>Relabelling a i as a s + i − m + t in L , the new molecule P L will have atoms ( a 1 , ⋯ , a s , a s + 1 , ⋯ , a s + t ) .</p><p>For every eligible C L , let b = C L ( x m − t + 1 ) − r s r , R ϕ the rotation around b of angle ϕ . Let Φ ⊂ [ 0,2 π ] such that P ′ R ϕ ∘ C L ( L ′ ) is still a conformation, i.e., satisfying steric conditions (1) to (3). All docking poses will be conformations { P ′ R ϕ ∘ C L ( L ′ ) = R ϕ } ϕ ∈ Φ for all eligible C L s.</p><p>By SMTH in &#167;5.1, folding will push R ϕ to a minimizer conformation R N of G ( R ; P L , E ) such that G ( R N ; P L , W ) &lt; G ( R ϕ ; P L , W ) . Define Δ C L , ϕ G = G ( R N ; P ' L , W ) − G ( R ϕ ; P L , W ) &lt; 0 . This post-binding reshaping R N ≠ R ϕ tackles “significant conformational change on covalent binding to the protein in a structure agnostic way.” Although there are multiple minimizier conformations for the new molecule P L , R N is the native structure of the new molecule P L in the environment W , regardless which binding pose is chosen to start the folding. On the other hand, non-covalent binding may result in different conformations P 1 L 1 of the complex P L for different binding poses.</p><p>The binding affinity is defined by</p><p>K P L , C L , ϕ = exp ( − Δ C L , ϕ G k B T ) , (19)</p><p>While the non-covalent binding is spontaneous, not only does not need energy input, but also release energy − Δ [ P C L ( L ) , S T ] G to the environment. The covalent binding may release energy, or need energy input, depending on the amounts of energies released by breaking old covalent bonds and energy input for the new covalent bond, and the Δ C L , ϕ G above.</p></sec></sec><sec id="s6"><title>6. Ensemble of Ligands</title><p>We consider non-covalent binding affinity in ensembles of receptors and ligands. Covalent binding can be similarly treated, but because of energy changes are complicatedly involved with chemical reactions, binding affinity is not that important as in non-covalent case.</p><sec id="s6_1"><title>6.1. Boltzmann Distribution</title><p>Let S be a thermodynamic system surrounded by heat bath of constant temperature and pressure. Suppose that all microscopic states of S may have energies E i , i = 1,2, ⋯ . Suppose that Z = ∑ i exp ( − E i k B T ) &lt; ∞ , the probability ρ i of a microstate has energy E i is</p><p>ρ i = exp ( − E i k B T ) Z &gt; 0. (20)</p><p>The ρ i is called the Boltzmann distribution, Z is the partition function. The rigorous proof of Boltzmann distribution is non-trivial, see ([<xref ref-type="bibr" rid="scirp.152303-ref31">31</xref>], pp. 200-207).</p></sec><sec id="s6_2"><title>6.2. Probability of Binding in an Ensemble of Ligands</title><p>Suppose there are M ligands and one receptor in a region Ω . Let P be the receptor with Gibbs free energy ϵ R = G ( P ; P , E ) , each ligand L in the ensemble has Gibbs free energy ϵ L = G ( L ; L , E ) . Let ϵ B = ϵ RC = G ( P 1 L 1 ; P L , E ) as in &#167;5.3. Divide Ω into lattices of N equal boxes, N ≫ M , the receptor occupies one of the box. Suppose that the binding happens purely by chance, then there are ( N − 1 ) ! ( M − 1 ) ! ( N − M ) ! ways (microstates) that one of the ligand binds P , each of them with Gibbs free energy ϵ B + ( M − 1 ) ϵ L ; and ( N − 1 ) ! M ! ( N − M − 1 ) ! ways that no binding happens, each of them with Gibbs free energy ϵ R + M ϵ L . By Boltzmann distribution (20), the partition function is</p><p>Z = exp ( − [ ϵ B + ( M − 1 ) ϵ L ] k B T ) ( N − 1 ) ! ( M − 1 ) ! ( N − M ) !   + exp ( − ( ϵ R + M ϵ L ) k B T ) ( N − 1 ) ! M ! ( N − M − 1 ) ! .</p><p>Denote Δ ϵ = ϵ B − ϵ R − ϵ L . Because that</p><p>( N − 1 ) ! ( M − 1 ) ! ( N − M ) ! ( N − 1 ) ! M ! ( N − M − 1 ) ! = M ! ( N − M − 1 ) ! ( M − 1 ) ! ( N − M ) ! = M N − M ,</p><p>the probability of binding happens is</p><p>p bound = exp ( − [ ϵ B + ( M − 1 ) ϵ L ] k B T ) ( N − 1 ) ! ( M − 1 ) ! ( N − M ) ! exp ( − [ ϵ RL + ( M − 1 ) ϵ L ] k B T ) ( N − 1 ) ! ( M − 1 ) ! ( N − M ) ! + exp ( − ( ϵ R + M ϵ L ) k B T ) ( N − 1 ) ! M ! ( N − M − 1 ) ! = exp ( − Δ ϵ k B T ) ( N − 1 ) ! ( M − 1 ) ! ( N − M ) ! exp ( − Δ ϵ k B T ) ( N − 1 ) ! ( M − 1 ) ! ( N − M ) ! + ( N − 1 ) ! M ! ( N − M − 1 ) ! = M N − M exp ( − Δ ϵ k B T ) 1 + M N − M exp ( − Δ ϵ k B T ) ≅ M N exp ( − Δ ϵ k B T ) 1 + M N exp ( − Δ ϵ k B T )     since   N ≫ M . (21)</p><p>Adjusting M such that p bound ≈ 1 / 2 , i.e., the two items in the denomenator of (21) is roughly equal. Equality of these two terms roughly amounts to exp ( − Δ ϵ / k B T ) ≅ ( N − M ) / M ≫ 1 . the statement that the entropy lost in stealing one of the ligands from solution to bind it to the receptor is just made up for by the energetic gain ( Δ ϵ ) associated with binding the ligand to the receptor. Thus, whenever we consider ensemble of solute in solvent, mixed entropy appears.</p><p>Let V ( b o x ) be the volume of a lattice box, the concentration of ligand is c = M / N V ( b o x ) . Assume the ground concentration is c 0 = 1 / V ( b o x ) , then c / c 0 = M / N , denote β = 1 / k B T , we get that</p><p>p bound = c c 0 e − β Δ ϵ 1 + c c 0 e − β Δ ϵ . (22)</p><p>Thus, the probabilty p bound is a function of the ligand concentration c . As described in ([<xref ref-type="bibr" rid="scirp.152303-ref32">32</xref>], p. 244), “This classic result goes under many different names depending upon the field (such as the Langmuir adsorption isotherm or a Hill function with Hill coefficient n = 1).”.</p></sec><sec id="s6_3"><title>6.3. Entropy of Mixing</title><p>S L = − k B ln c c 0 &gt; 0 is the entropy of mixing coming from arrangements of the M ligand in the solvent. Such that the chemical potential of the ligand is</p><disp-formula id="scirp.152303-formula1"><label>(23)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/152303x550.png?20260701092839855"  xlink:type="simple"/></disp-formula><p>Remember that Δ ϵ = ϵ B − ϵ R − ϵ L . If there are N R &gt; 1 receptors and N L ligands, then the probability of each receptor binds with a ligand is given by p bound in (22). Let</p><p>R + L ⇌ R L (24)</p><p>represent the binding and μ R ∘ = ϵ R , μ RL ∘ = ϵ RL = ϵ B ,</p><p>μ R = μ R ∘ + k B T ln c R c 0 ,   μ L = μ L ∘ + k B T ln c L c 0 ,   μ B = μ R L = μ R L ∘ + k B T ln c R L c 0 .</p><p>be the chemical potentials of receptor, ligand, and bound complex R L .</p></sec><sec id="s6_4"><title>6.4. Ensemble of Receptors and Ligands</title><p>In the ensemble of constant temperature and pressure, in any time the Gibbs free energy of the system S is given by G ( T , P , N R , N L , N RL ) and</p><p>∂ G ∂ N R = μ R ,   ∂ G ∂ N L = μ L ,   ∂ G ∂ N RL = μ RL = μ B , (25)</p><p>see, for example, [<xref ref-type="bibr" rid="scirp.152303-ref31">31</xref>]. In equilibrium, d G ( T , P , N R , N L , N R L ) = 0 , since T and P are constants, we have that</p><p>0 = d G ( T , P , N R , N L , N R L ) = ∂ G ∂ N R d N R + ∂ G ∂ N L d N L + ∂ G ∂ N R L d N R L = μ R d N R + μ L d N L + μ R L d N R L .</p><p>In the beginning, N R L = 0 , whenever one receptor and one ligand bind, N R and N L are reduced by one, and N R L is increased by one, thus N = N R + N L + N R L is not a constant, stoichiometric reasoning shows that for N = N R + N L + N R L ,</p><p>d N R = − d N ,   d N L = − d N , d N R L = d N ,</p><p>let ν R = ν L = − 1 , ν R L = 1 , we have</p><p>0 = d G ( T , P , N R , N L , N R L ) = ( μ R ν R + μ L ν L + μ R L ν R L ) d N ,</p><p>therefore,</p><p>μ R L − μ R − μ L = 0,   μ R L ∘ − μ R ∘ − μ L ∘ = k B T ( ln c R c R 0 + ln c L c L 0 − ln c R L c R L 0 ) .</p><p>Δ ϵ = Δ μ ∘ = μ R L ∘ − μ R ∘ − μ L ∘ = − k B T ln [ c R L c R L 0 ( c R c R 0 ) − 1 ( c L c L 0 ) − 1 ] ,</p><p>therefore</p><p>e − β Δ ϵ = exp ( − Δ μ ∘ k B T ) = exp { ln [ c R L c R L 0 ( c R c R 0 ) − 1 ( c L c L 0 ) − 1 ] } = c R 0 c R c L 0 c L c R L c R L 0 ,</p><p>and writing the concentration c R as [ R ] , etc.,</p><p>c R L 0 c R 0 c L 0 exp ( − Δ ϵ k B T ) = c R L c R c L = [ R L ] [ R ] [ L ] = K eq = 1 K d , (26)</p><p>c R 0 , c L 0 and c R L 0 are usually set as 1 M. In equilibrium ensemble theory of binding, K e q is the equilibrium constant, K d is the so-called disassociation constant of the binding (24), ([<xref ref-type="bibr" rid="scirp.152303-ref32">32</xref>], p. 269). These quantities can be obtained only by experiments, no ensemble theory of binding to calculate it. Because</p><p>Δ ϵ = ϵ B − ϵ R − ϵ L = Δ [ P C L ( L ) , S T ] G ,</p><p>by (18) we have</p><p>K [ P C L ( L ) , S T ] = exp ( − Δ [ P C L ( L ) , S T ] G k B T ) = exp ( − Δ ϵ k B T ) . (27)</p><p>By (26), (27), and (18), we have</p><p>K [ P C L ( L ) , S T ] = exp ( − Δ ϵ k B T ) = c R 0 c L 0 c R L 0 K eq = c R 0 c L 0 K d c R L 0 . (28)</p><p>Equation (28) shows in ensemble case that the binding affinity is proportional to the equilibrium constant K eq and inverse proportional to disassociation constant K d . In equilibrium ensembele setting, the equilibrium constant K eq and the binding affinity have to be obtained through different experiments separately, see ([<xref ref-type="bibr" rid="scirp.152303-ref32">32</xref>], chapter 6).</p></sec></sec><sec id="s7"><title>7. Conclusions</title><p>As said before, protein functioning depends on docking and binding, ([<xref ref-type="bibr" rid="scirp.152303-ref30">30</xref>], chapter 4). If there is no docking, there will be no binding. If there is no binding, there will be no protein function. Therefor, studying of docking and binding is indispensable in biological science.</p><p>Using CGF as scoring function enables an analytic docking Gibbs free energy formulae (12) and (13), analysis them line by line reveals the binding searching strategy Search 3.1.</p><p>The single molecule thermodynamic hypothesis (SMTH) shows the mechanism of non-covalent docking and binding is just molecular folding.</p><p>The CGF is rigorously derived via quantum statistics, making the single molecule binding affinity calculable, unlike the ensemble binding affinity that can only be obtained by experiments.</p><p>Together with the resolution of the three so far unresolved problems in docking posted in [<xref ref-type="bibr" rid="scirp.152303-ref12">12</xref>], (1. Tackling binding site flexibility; 2. Treating solvent during docking; 3. Affinity prediction in docking. and tackles “significant conformational change on covalent binding to the protein in a structure agnostic way.”) these results demonstrate the power of the single molecule theory of molecular folding based on CGF and SMTH.</p></sec><sec id="s8"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.152303-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Kuntz, I.D., Blaney, J.M., Oatley, S.J., Langridge, R. and Ferrin, T.E. (1982) A Geometric Approach to Macromolecule-Ligand Interactions. Journal of Molecular Biology, 161, 269-288. https://doi.org/10.1016/0022-2836(82)90153-x</mixed-citation></ref><ref id="scirp.152303-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Pantsar, T. and Poso, A. (2018) Binding Affinity via Docking: Fact and Fiction. Molecules, 23, Article No. 1899. https://doi.org/10.3390/molecules23081899</mixed-citation></ref><ref id="scirp.152303-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Allen, P., Nguyen, N., Humphrey, N.D., Mao, J., Chavez-Bonilla, D. and Sorin, E.J. (2024) A Hands-On Collaboration-Ready Single- or Interdisciplinary Computational Exercise in Molecular Recognition and Drug Design. Education Sciences, 14, Article No. 139. https://doi.org/10.3390/educsci14020139</mixed-citation></ref><ref id="scirp.152303-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Nivatya, H.K., Singh, A., Kumar, N., Sonam, Sharma, L., Singh, V., et al. (2025) Assessing Molecular Docking Tools: Understanding Drug Discovery and Design. Future Journal of Pharmaceutical Sciences, 11, Article No. 111.  
https://doi.org/10.1186/s43094-025-00862-y</mixed-citation></ref><ref id="scirp.152303-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Paggi, J.M., Pandit, A. and Dror, R.O. (2024) The Art and Science of Molecular Docking. Annual Review of Biochemistry, 93, 389-410.  
https://doi.org/10.1146/annurev-biochem-030222-120000</mixed-citation></ref><ref id="scirp.152303-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Uppathi, P., Rajakumari, S. and Saritha, K.V. (2025) Molecular Docking: An Emerging Tool for Target-Based Cancer Therapy. Critical Reviews&lt;sup&gt;TM&lt;/sup&gt; in Oncogenesis, 30, 1-13. https://doi.org/10.1615/critrevoncog.2024056533</mixed-citation></ref><ref id="scirp.152303-ref7"><label>7</label><mixed-citation publication-type="book" xlink:type="simple">Fang, Y. (2012) Gibbs Free Energy Formula for Protein Folding. In: Morales-Rodriguez, R., Ed., Thermodynamics—Fundamentals and Its Application in Science, InTech, 47-82. https://doi.org/10.5772/52410</mixed-citation></ref><ref id="scirp.152303-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Fang, Y. (2014) A Gibbs Free Energy Formula for Protein Folding Derived from Quantum Statistics. Science China Physics, Mechanics &amp; Astronomy, 57, 1547-1551.  
https://doi.org/10.1007/s11433-013-5288-x</mixed-citation></ref><ref id="scirp.152303-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Fang, Y. (2015) Thermodynamic Principle Revisited: Theory of Protein Folding. Advances in Bioscience and Biotechnology, 6, 37-48.  
https://doi.org/10.4236/abb.2015.61005</mixed-citation></ref><ref id="scirp.152303-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Yi, F. (2019) Single Molecule Thermodynamics Hypothesis of Protein Folding and Drug Design. Journal of Biosciences and Medicines, 7, 164-172.  
https://doi.org/10.4236/jbm.2019.711015</mixed-citation></ref><ref id="scirp.152303-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Fang, Y. (2024) Applications of a Single Molecule Theory of Protein Dynamics. Journal of Biosciences and Medicines, 12, 311-335.  
https://doi.org/10.4236/jbm.2024.126025</mixed-citation></ref><ref id="scirp.152303-ref12"><label>12</label><mixed-citation publication-type="book" xlink:type="simple">Cole, J., Davis, E., Jones, G. and Sage, C.R. (2017) Chapter 12. Molecular Docking—A Solved Problem? In: Davis, A.M. and Edge, C., Eds., Silico Drug Discovery Tools, Elsevier, 297-318. https://doi.org/10.1016/b978-0-12-409547-2.12352-2</mixed-citation></ref><ref id="scirp.152303-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Bader, R.F.W. (1994) Atoms in Molecules: A Quantum Theory. Clarendon Press.</mixed-citation></ref><ref id="scirp.152303-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Seifert, H. and Threlfall, W. (1980) A Textbook of Topology. Academic Press.</mixed-citation></ref><ref id="scirp.152303-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Hatcher, A. (2002) Algebraic Topology. Cambridge University Press.</mixed-citation></ref><ref id="scirp.152303-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Pegram, L.M. and Record, M.T. (2006) Partitioning of Atmospherically Relevant Ions between Bulk Water and the Water/Vapor Interface. Proceedings of the National Academy of Sciences, 103, 14278-14281. https://doi.org/10.1073/pnas.0606256103</mixed-citation></ref><ref id="scirp.152303-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Novotny, J., Bruccoleri, R. and Karplus, M. (1984) An Analysis of Incorrectly Folded Protein Models. Implications for Structure Predictions. Journal of Molecular Biology, 177, 787-818. https://doi.org/10.1016/0022-2836(84)90049-4</mixed-citation></ref><ref id="scirp.152303-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Novotny, J., Rashin, A.A. and Bruccoleri, R.E. (1988) Criteria That Discriminate between Native Proteins and Incorrectly Folded Models. Proteins: Structure, Function, and Bioinformatics, 4, 19-30. https://doi.org/10.1002/prot.340040105</mixed-citation></ref><ref id="scirp.152303-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Connolly, M.L. (1983) Analytical Molecular Surface Calculation. Journal of Applied Crystallography, 16, 548-558. https://doi.org/10.1107/s0021889883010985</mixed-citation></ref><ref id="scirp.152303-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Connolly, M.L. (year) Molecular Surfaces. http://www.biohedron.com/</mixed-citation></ref><ref id="scirp.152303-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">Jackson, R.M. and Sternberg, M.J.E. (1993) Protein Surface Area Defined. Nature, 366, 638. https://doi.org/10.1038/366638b0</mixed-citation></ref><ref id="scirp.152303-ref22"><label>22</label><mixed-citation publication-type="other" xlink:type="simple">Finkelstein, A.V. and Ptitsyn, O.B. (2016) Protein Physics: A Course of Lectures. 2nd, Updated and Extended Edition, Academic Press.</mixed-citation></ref><ref id="scirp.152303-ref23"><label>23</label><mixed-citation publication-type="other" xlink:type="simple">Sheu, S.-Y., Yang, D.-Y., Selzle, H.L. and Schlag, E.W. (2003) Energetics of Hydrogen Bonds in Peptides. Proceedings of the National Academy of Sciences, 100, 12683-12687. https://doi.org/10.1073/pnas.2133366100</mixed-citation></ref><ref id="scirp.152303-ref24"><label>24</label><mixed-citation publication-type="other" xlink:type="simple">Alberts, B., Johnson, A., Lewis, J., Morgan, D., Raff, M., Roberts, K. and Walter, P. (2015) Molecular Biology of the Cell. 6th Edition, Garland Science.</mixed-citation></ref><ref id="scirp.152303-ref25"><label>25</label><mixed-citation publication-type="other" xlink:type="simple">Norel, R., Petrey, D., Wolfson, H.J. and Nussinov, R. (1999) Examination of Shape Complementarity in Docking of Unbound Proteins. Proteins: Structure, Function, and Genetics, 36, 307-317.  
https://doi.org/10.1002/(sici)1097-0134(19990815)36:3&lt;307::aid-prot5&gt;3.3.co;2-i</mixed-citation></ref><ref id="scirp.152303-ref26"><label>26</label><mixed-citation publication-type="other" xlink:type="simple">Vakser, I.A. and Aflalo, C. (1994) Hydrophobic Docking: A Proposed Enhancement to Molecular Recognition Techniques. Proteins: Structure, Function, and Bioinformatics, 20, 320-329. https://doi.org/10.1002/prot.340200405</mixed-citation></ref><ref id="scirp.152303-ref27"><label>27</label><mixed-citation publication-type="other" xlink:type="simple">Li, J.C., Ma, X.L., Guo, S., et al. (2020) A Hydro-phobic-Ineraction-Based Mechanism Trigger Docking between the SARS-CpV-2 Spike and Angiotensin-Converting Enzyme 2. Global Challenges, 4, Article ID: 2000067.</mixed-citation></ref><ref id="scirp.152303-ref28"><label>28</label><mixed-citation publication-type="other" xlink:type="simple">Meyer, M., Wilson, P. and Schomburg, D. (1996) Hydrogen Bonding and Molecular Surface Shape Complementarity as a Basis for Protein Docking. Journal of Molecular Biology, 264, 199-210. https://doi.org/10.1006/jmbi.1996.0634</mixed-citation></ref><ref id="scirp.152303-ref29"><label>29</label><mixed-citation publication-type="other" xlink:type="simple">Rohs, R., West, S.M., Sosinsky, A., Liu, P., Mann, R.S. and Honig, B. (2009) The Role of DNA Shape in Protein-DNA Recognition. Nature, 461, 1248-1253.  
https://doi.org/10.1038/nature08473</mixed-citation></ref><ref id="scirp.152303-ref30"><label>30</label><mixed-citation publication-type="other" xlink:type="simple">Bahar, I., Jernigan, R.L. and Dill, K.A. (2017) Protein Actions: Principle and Modelling. Garland Scinece. Taylor &amp; Francis Group, LLC.</mixed-citation></ref><ref id="scirp.152303-ref31"><label>31</label><mixed-citation publication-type="other" xlink:type="simple">Greiner, W., Neise, L. and St&amp;#246;ker, H. (1994) Thermodynamics and Statistical Mechanics. Springer-Verlag.</mixed-citation></ref><ref id="scirp.152303-ref32"><label>32</label><mixed-citation publication-type="other" xlink:type="simple">Phillips, R., Condev, J., Theriot, J. and Garcia, H.G. (2012) Illustrated by Orme, Nigel, Physical Biology of the Cell. 2nd Edition, Garland Science.</mixed-citation></ref></ref-list></back></article>