dry: abstract state and symbol