Abstract rewritten.