Making good software correctly: hard to do well!