No need for the double naming