[#18] unneeded rule