Model error (via azhenley) — discussion

#formalmethods