tailcalled comments on Computing Natural Abstractions: Linear Approximation