implemented state level assertions