Illegal vs Unwanted States (via ajdecon) — discussion

#formalmethods