Validated example