Results in recent years focus attention on invariants of matroids that behave valuatively (satisfying inclusion-exclusion) when the matroid base polytope is subdivided into smaller such polytopes.  We will attempt to explain a program that exploits this further.