Since we have adopted a linear model, we are no longer constrained by the original generative story.
we are free to incorporate other SMT-inspired features: P E (t|s), target character count, and operation count.