The whole enterprise of writing software, from top to bottom, (historical) beginning to present day, has been based on the fallacious, machismo idea of perfect execution by the programmer of writing correct forms. This is actually impossible thus our software is terrible.