has_01 | ← has_01