Turns hard-label model extraction into inner-product algebra, ditching SVD clustering and extending to max-pooling CNNs.