((<> [] is_one_enabled -> [] <> last_is_one) -> ([] <> !np_))