In reply to Re^2: flip-flop interpolation by Anonymous Monk in thread flip-flop interpolation by Anonymous Monk