Updated Param for VerificationStatements