ect and object, or better,
    the knower from the known.  This can never be formalized without losing
    its essential function which is to provide the initial conditions for
    the formal model.  As von Neumann has made clear, if you try to move
    the cut left to include the measurement process in the model, then
    you must create a new measurement for new initial condition for
    the new model now including the old measuring device as part
    of the model -- an infinite regress. 

HP: This is sum