rules.txt: Rules written out for easiness.