[] (first_read_updated -> <> second_read_updated)