Dagon comments on Problems Involving Abstraction?