InstabilityAbstraction