Un-doing explicitness