A supposedly worthwhile contract I'll never do again (by ahelwer) — discussion

#formalmethods