Finished all the derived rules.