• k * = 0 indicates breaking the bond n * , and we split the product Gp into two synthons {Gs i } 2 i=1 accordingly. • k * ∈ {1, 2, 3} indicates that the bond n * changes to a specific type, and we still take the product as the synthon, i.e., Gs ← Gp.