Hard to Explain - Prove it!