let make_goal _env p = p