let
make_goal _env p = p