Prov_goal_celly