If your contract isn't accurate, it's like programming by hammering some shoddy crap together and letting the testers/users sort it out.
If your contract isn't accurate, it's like programming by hammering some shoddy crap together and letting the testers/users sort it out.