Techniques for proving