Provable Dynamic