3) 	a)	Un is computed by: X = φ^n (X_1,…X_n,X_(n+1))
	b)	By the Universiality Theorem 3.1, since Un can be written in L, it is defined (See a.). Also since x = #(P), then Un = Φ^1 (x,x) and so Φ^1 (x,x)  is defined. Since it is defined, H(x) is partially computable.