2.3.2 A Mechanically Literalistic Approach