A study of methanetetraol dehydration to carbonic acid