And yet we we all use human written software even though we can be confident that the next severe software vulnerability to be found in it is just round the corner.