has_01 | has_01