However, to have an authority figure require that a patient justify his or her plans comes perilously close to coercion.
Our broad conclusion is that back-and-forth coercions are useful in a number of situations where traditional dependent type theory and its extensions are too weak.
This would have meant placing more emphasis on persuasion than coercion, as had been the practice hitherto.
Mixed mode arithmetic and assignment is permitted with invisibly overloaded operators and automatic type coercions.
How can coercion, by definition a compromise of external freedom-that freedom, that is, ordinarily protected and vindicated by the doctrine of right-be compatible with right?
Coercion is merely one way in which this can be achieved, and it is far from being the most effective.
These song-lines lead back to the issue of legitimacy and coercion, which in discussion of witch-hunts often stands unresolved.
They theorise that compliance can be motivated by habit, coercion and cost-benefit calculations in addition to, or instead of, legitimacy.
