Minimal Truth Predicate and Consistency for Free