T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )).

In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))).

In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )).

T proves that if T proves that ( P Q ) and T proves P then T proves Q .

You prove one, you prove the other.

Proof

Evidence?

l will.

Evidence

Soft Proofing

Try some.

A test ?

Prove it how?

Have one.

ELISA test

look you know...its waterproof, waterproof. (laughter)

for a tuberculin test EUR 0,8 per test

Try on that shirt.

We're going to have a test today.

I have proof.

I passed the exam.

I passed the exam.

(Original edition 1979).

By no means!

Printing and Proofing

Soft Proofing On

Soft Proofing Off

Proof and Hold

Wait with Proof

I want proof. What for? Just call it irreconcilable differences and bail.

We need proof.

Want proof?

No proof at all.

All right. Go... Go ahead.

Come on, try it.

Put it to a test.

Yes, it just shows...

Uh, let's have the evidence.

Have you proof?

That proves it, doesn't it?

We try it out.

An ordeal? Why...

You've proved nothing.

And what does that prove?

And taste this.