Did problems 1 and 2, and some definitions.