ADD: Introduce Explaining Variable