initial state
add examples