2 Testing the proof