Finish the second demo for NotNullWithValidation