Containing Existential Buffer