Changed the function called cover to mincover. Tightened the bound for the fragmenter by adding shrinktransfer. Added comment.