Abstraction with Gray Lines IV