Text this: A Domain-Independent Method for Risk Reduction Based on Reverse Engineering of Sub-Additive Algebraic Inequalities.