The contract is to *do something specific*. If it doesn't do that then it's a bu...

		chris_wot on Sept 10, 2017 \| parent \| context \| favorite \| on: Vigil, the eternal morally vigilant programming la... The contract is to do something specific. If it doesn't do that then it's a bug. It will need to delete itself.