Comment by ok on Rul_22_.

Comment on ReplyRul_22_.