Visible Reasoning via Dynamic Synchronization Maps | Manifund