Conservative definition
Parameters: t, N, wb, wc
2 ≤ S (S N · wc) ∧ (∃ x. wb = x · S (S N · wc) + 1) ∧ (∀ x. ∀ y. ∀ z. S x ≤ N → S y ≤ S (S x · wc) ∧ (∃ n. wb = n · S (S x · wc) + y) → S z ≤ S (S S x · wc) ∧ (∃ n. wb = n · S (S S x · wc) + z) → y = t · z)