johnswentworth comments on Problems Involving Abstraction?