Added definitions for image and preimage
Updated syntax for VS and ST functions