Enumerate high-level behaviors of granular updating