External def.