It's an odd story, then; the soft picture is very clear, as are the practical implications, but the details of how to technically materialise this intuition into simple proofs are - surprisingly - not as fully realised as one (or at least I) might expect.