Added formal definition of a rewrite rule
Merged frames 6 and 7, moved rule definition to proper place