Principles: Local and Global naming