審計會發現存在的錯誤。 斷言會防止不應該存在的狀態。 一個是反應式的。另一個是主動式的。