The first question should be whether we need hierarchical logic, or what hierarchical logic is supposed to be.