add helpful note about uniqueness of the initial state