Erasing rule

#REDIRECT Formal grammar