Well, at that level I think it’s more to show you know how to prove it. You’re working under the assumption the axioms of the system you’ve been told work.