explicitization explicitation specifying literalization concretisation formalization formalisation officialization precisification exactification