[FOLD] Finish Abstraction