Mention when Comonadic Commit can return.