explicitification