explicitizations