R — set of all total computable functions