SML Verdict Protocol