Title: On obsolete rules