fixed order of transform mistakes
added two pages showing fass proof and soundness proof