[] (!(read_one_is_zero && read_two_is_zero))