Title: Why type-setting machines have been failures