pub fn submission_uncertain() -> Outcome
The one state whose only way out is verify; every path that cannot prove nothing was created ends here.
verify