let result_validation ()     = !result_validation_opt