Validation Techniques for Object-Oriented Proof Outlines by C. Pierik