has_new_01 | ← has_new_01