Abstraction with Gray Lines I