vata height abstraction