Templates for VSP Verification Statement