adds a few definitions and a rule