More implementation details, and a bit of evaluation