Finished the Abstraction Demo