my beautifully done type. complete ex4