Added abstractions for building Vn/ShowVn