simply finish the definition for new "state", next is to update old a/b/c definitions