Degrees of explicitness by