A direct path to dependable software