Title: On two theories of rule application