arrow in front of the down rules

Dear All,

When talking about the down fragments of the deep inference systems, in 
order to increase the readability, I consider dropping the \downarrow in 
front of the rules.

In my thesis, after having mentioned the usual convention elsewhere,
I would like to adapt this notation.

What I would like to know is if there is a moral objection against this.

For the rules, which belong to the both fragments, and when talking about 
the cut, this might be confusing. However, I believe, with some precaution 
such a confusion can be avoided.

Ciao,
Ozan