Five Languages, One Law

A library gets proven by people using it. A specification is a harder claim to back up: someone else...