Sorry, No manual entry for safe_goal/1