Some more extra explicitness