Итоги голосования для комментария:
Коммуниздий То есть ты утверждаешь, что правило должно формулироваться в виде: «если -> то»?