Simplified and partially rewritten.