Q5 [5 marks] For a natural number e, let We denote the domain of e (the eth partial computable function). Consider the set Cof ={e:NWe is finite }. Show that Cof is 30, i.e. construct a computable 4-ary relation R such that Cof={x:y1,y2,y3,R(x,y1,y2,y3)}. Hint: If NWe is finite, then y1,y2>y1,y2W e. Why?.