Internal-external distinction

1. REDIRECT Internal–external distinction

{{R from modification}}