Abstraction with Gray Lines IX