let
model_valid =
F
.p_app2
"valid"