Now, how do I do this? Well, let's try to use the fact that here we have A implies B implies A. If I establish A®B, then by applying H0, I would get A. And this is what is done in the following slide.