Provable Dynamic Meaning