updated description to an almost correct polymorphic deleter
finished paper