Verified acceptance Vectors