Vladimir_Nesov comments on Problems Involving Abstraction?