Lots rewritten. Struggling with notation.