(0.1090/d/web6)