johnswentworth comments on Problems Involving Abstraction?

[johnswentworth]

Ooh, good one. If I remember the trick to the algorithm correctly, it can indeed be cast as abstraction.