mark base state as abstract state