Completed Abstraction