Specifying initialization