严格来讲程序存在瑕疵