The field of modern logic is too extensive to be worked through by open cast mining. To open it up, we need to sink shafts and construct adits. This is the meth