ADD: mention verified output