It would be interesting to state sane measurments that determine a "distance" between a spec and software that claims to implement it