Variable Sync + Abstraction