Complete rewrite of section 4 to fix the Teichmueller issue