Toward a Stronger Constraint for Non-Trivial Inconsistent Theories