User blog comment:Ikosarakt1/Extensions of Catching function/@comment-25418284-20131119195520/@comment-5150073-20131120073019

Okay, I think it is correct definition. The open question is how many hierarchies exist and can we construct hierarchy of this hierarchies.