Ambiguity decomp: complete explanation
Minor corrections