🧪 Synthesizability § = ability of the user to assess the effect of past operations based on the current state 📖 Example: § recycle animation when deleting