[] (read_one_is_one -> (!read_two_done || read_two_is_one))