hefted appropriation pardoned oversimplifications Bloom Mach typescripts solve metaphysical vernacular