[] (read_one_is_zero -> !read_two_is_zero)