3.0 proof tutorials

More proofing and code fixes.