let model_valid = F.p_app2 "valid"