x has been initialized