Ex 3.1
Register theory 3
Ex 3.2