Make explicit