Easy to understand, supremely difficult to prove.