Title: Specifying Dynamic Compaction