moved algorithms to the back of the paper.
expanded on abstraction section with more examples for
abstract estimation procedure.