Double definitions