Prove Theorem preservation and a few exercises before