Summary: Input to
Task: Resolve violation at current abstraction level