state and defines defs added