Adjacent Abstraction IV