Abstraction VA

Formation [OBJ007]