Adjacent Abstraction II