Recursive comprehension


 * 1) redirect Second-order arithmetic