VDM view 2