Provable Dynamic Meaning For Kids