let
coq_for_model ~model = model^
"_model"