Add a-proven annotation variant.