Conservative definition
Parameters: ab, ac, bb, bc, cb, cc, db, dc, i, ap, an, bp, bn
S ap ≤ S (S i · ac) ∧ (∃ x. ab = x · S (S i · ac) + ap) ∧ (S an ≤ S (S i · bc) ∧ (∃ x. bb = x · S (S i · bc) + an) ∧ (S bp ≤ S (S i · cc) ∧ (∃ x. cb = x · S (S i · cc) + bp) ∧ (S bn ≤ S (S i · dc) ∧ (∃ x. db = x · S (S i · dc) + bn))))