Abstraction with Gray Lines XI