abstract state