Use navigation notation to prevent name conflicts